|
Chapitre
2
Fonction
processus Curryfication |
Chapitre
3
Théorie
des combinateurs (Présentation non formelle)
H.B. CURRY |
Chapitre
4
Théorie
des combinateurs (Présentation formelle)
L’INDUCTION |
Chapitre
5
Modélisation
Logico-Combinatoire
des réalités informatiques |
Chapitre
6
La machine SK de
D. TURNER |