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
Contributor : Yves Bertot <>
Submitted on : Wednesday, July 5, 2006 - 9:54:29 AM Last modification on : Thursday, January 7, 2021 - 3:40:06 PM Long-term archiving on: : Monday, April 5, 2010 - 11:48:06 PM