Intersection Types and Lambda Theories

M. Dezani-Ciancaglini, S. Lusin

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we s…