Résumé : Ces notes présentent successivement le lambda-calcul pur, le lambda-calcul simplement typé, les différentes formes de récursion typée, les types dépendants et leur utilisation en programmation et en logique
https://cel.archives-ouvertes.fr/inria-00083975
Contributeur : Yves Bertot
<>
Soumis le : mercredi 5 juillet 2006 - 09:54:29
Dernière modification le : jeudi 11 janvier 2018 - 16:25:56
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:48:06
