## Simple easy terms

- B. Boerboom
- 2002

@inproceedings{MDezaniCiancaglini2002IntersectionTA, title={Intersection Types and Lambda Theories}, author={M.Dezani-Ciancaglini and S.Lusin}, year={2002} }

- Published 2002

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of λ-theories. Relying on the notion of easy intersection type theorywe successfully build a filter model in which the interpretation of an arbitrary simple easy term is any filter which can be described in an uniform way by a recursive predicate. This allows us to prove the consistency of a well-know λ-theory: this consistency has interesting consequences on the algebraic structure of the… CONTINUE READING