Lambda-calculus types and models
Krivine, Jean-Louis
HAL, cel-00574575 / Harvested from HAL
Text on HAL
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
Publié le : 2002-02-05
Classification:  [MATH]Mathematics [math],  [INFO]Computer Science [cs] 
@article{cel-00574575,
     author = {Krivine, Jean-Louis},
     title = {Lambda-calculus types and models},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cel-00574575}
}

Krivine, Jean-Louis. Lambda-calculus types and models. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/cel-00574575/