@Inproceedings{EPTCS177.1, author = {Statman, Rick}, year = {2015}, title = {A Finite Model Property for Intersection Types}, editor = {Rehof, Jakob}, booktitle = {{\rm Proceedings Seventh Workshop on} Intersection Types and Related Systems, {\rm Vienna, Austria, 18 July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {177}, publisher = {Open Publishing Association}, pages = {1-9}, doi = {10.4204/EPTCS.177.1}, }