MPRI Course 2023-24

Lectures:

1. The Untyped lambda-Calculus (January 23). Slides.

2. Reasonable Time (January 30):

   1. lambda-Calculus and Reasonable Time. Slides.

   2. Reasonable Time via the Milner Abstract Machine. Slides.

3. Reasonable Space (January 6). Slides.

4. The Linear Substitution Calculus:

   1. From Proof Nets to the Linear Substitution Calculus (January 6). Slides. PSN for the LSC.

   2. Rewriting Properties of the Linear Substitution Calculus (January 13). Slides.

5. Variations on a theme (January 13):

   1. Call-by-Value. Slides.

   2. A Taste of pi. Slides.