 |
 |
 |
|
|
|
| HAL : inria-00083975, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| (2006) |
|
|
|
|
| lambda-calcul et types |
|
|
| Yves Bertot 1 |
|
|
| (2006) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | MARELLE (INRIA Sophia Antipolis) |
|
|
|
INRIA |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| lambda-calcul – types – récursion |
|
|
|
|
|
| inria-00083975, version 1 | |
| http://cel.archives-ouvertes.fr/inria-00083975 | |
| oai:cel.archives-ouvertes.fr:inria-00083975 | |
| Contributeur : Yves Bertot | |
| Soumis le : Mercredi 5 Juillet 2006, 09:54:29 | |
| Dernière modification le : Mercredi 5 Juillet 2006, 12:00:13 | |
