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 |