 |
 |
 |
|
|
|
| HAL : cel-00574575, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| DEA (2002) 208 pages |
|
|
|
|
| Lambda-calculus types and models |
|
|
| Jean-Louis Krivine 1 |
|
|
| (05/02/2002) |
|
|
|
| Cours de lambda-calcul. Définition, beta-reduction et confluence. Représentation des fonctions récursives. Modèles du lambda-calcul Logique combinatoire Types, système F |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques Informatique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| cel-00574575, version 1 | |
| http://cel.archives-ouvertes.fr/cel-00574575 | |
| oai:cel.archives-ouvertes.fr:cel-00574575 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Mardi 8 Mars 2011, 16:13:22 | |
| Dernière modification le : Mardi 8 Mars 2011, 16:23:35 | |
