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
Domaines
Logique en informatique [cs.LO]
Loading...