Τρίτη 22 Μαρτίου
λ-λογισμός: αριθμοί, πρωταρχικοί αναδρομικές ορισμοί συναρτήσεων (π.χ. pred)
Τετάρτη 23 Μαρτίου
λ-λογισμός: θεώρημα σταθερού σημείου