Résumé : Cours de lambda-calcul. Définition, beta-reduction et confluence. Représentation des fonctions récursives. Modèles du lambda-calcul Logique combinatoire Types, système F
https://cel.archives-ouvertes.fr/cel-00574575
Contributeur : Jean-Louis Krivine
<>
Soumis le : mardi 8 mars 2011 - 16:13:22
Dernière modification le : jeudi 11 janvier 2018 - 06:17:48
Document(s) archivé(s) le : jeudi 9 juin 2011 - 02:38:52
