Semantics with Intersection types

Lecturer: Steffen van Bakel

In December 2002 I was invited to teach two hours on semantics with intersection types at École Normale Supérieure in Lyon, France. The material I covered is in the first three sections of the document below.
In April of 2003 I was invited by BRICS, in Aarhus, Denmark, to give a six hour course on the same topic. The document below has been prepared to support that course.

    
The notes