Hugo Salou – ENS L3
Projet fonctionnel
Enseignant : Daniel HIRSCHKOFF
Cours complet
Cours par chapitres
Chapitre 0 :
Introduction
Chapitre 1 :
Le λ-calcul pur
Chapitre 2 :
Le λ-calcul simplement typé
Chapitre 3 :
Introduction à la théorie de la démonstration
Chapitre 4 :
Le λ-calcul polymorphe
Chapitre 5 :
Les types linéaires