| 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
|