Title Filter Models and Easy Terms Authors Fabio Alessi, Dipartimento di Matematica e Informatica, Universita' di Udine Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica, Universita' di Torino Furio Honsell, Dipartimento di Matematica e Informatica, Universita' di Udine Main Fields 21. type theory Other Main Fields Abstract + Keywords We illustrate the use of intersection types as a tool for synthesizing lambda-models which exhibit special purpose features. We focus on semantical proofs of easiness. This allows us to prove that the class of $\lambda$-theories induced by graph models is strictly included in the class of lambda theories induced by non-extensional filter models. Keywords: Denotational Semantics, Intersection Tyes, Filter Models, Lambda Models, Easy Terms.