Lambda-calculus types and models
Résumé
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
Cours
Année : 2002
Jean-Louis Krivine : Connectez-vous pour contacter le contributeur
https://cel.hal.science/cel-00574575
Soumis le : mardi 8 mars 2011-16:13:22
Dernière modification le : lundi 8 avril 2024-10:34:30
Archivage à long terme le : jeudi 9 juin 2011-02:38:52
Dates et versions
Identifiants
- HAL Id : cel-00574575 , version 1
Citer
Jean-Louis Krivine. Lambda-calculus types and models. DEA. Université Paris 7, 2002, pp.208. ⟨cel-00574575⟩
Collections
1470
Consultations
1115
Téléchargements