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.