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 : vendredi 4 janvier 2019 - 17:32:59
Document(s) archivé(s) le : jeudi 9 juin 2011 - 02:38:52
