12/11/2003
Henk Barendregt (Nijmegen University)
Intersection types for lambda terms

It will be explained how these give an order to lambda terms and even can be used to find the local structure of some classical lambda models. At the same time these types can be used to construct new lambda models enjoying certain properties.