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 : Wednesday, September 12, 2018 - 1:16:39 AM
Long-term archiving on : Monday, April 5, 2010 - 11:48:06 PM
