 |
 |
 |
Lectures
lambda-calcul et types
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
Cited literature [11 references]
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
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