Introduction to λ-calculus
This page contains the material of my 2-week introduction to λ-calculus, part of the Fundamental Computer Science course of M1 MOSIG:
- Full slides as projected.
- slides in A4 format for printing, with some holes. This is what I give in printed form at the beginning.
- slides with corrections of the exercises.
- Python code which I use to demonstrate some of the examples.