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 BertotConnect in order to contact the contributor Submitted on : Wednesday, July 5, 2006 - 9:54:29 AM Last modification on : Thursday, January 20, 2022 - 5:30:46 PM Long-term archiving on: : Monday, April 5, 2010 - 11:48:06 PM