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
Contributor : Jean-Louis Krivine
<>
Submitted on : Tuesday, March 8, 2011 - 4:13:22 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM
Long-term archiving on : Thursday, June 9, 2011 - 2:38:52 AM
