Lambda-calculus types and models - CEL - Cours en ligne Accéder directement au contenu
Cours Année : 2002

Lambda-calculus types and models

Jean-Louis Krivine
  • Fonction : Auteur
  • PersonId : 840657

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
Fichier principal
Vignette du fichier
Lambda.pdf (1.15 Mo) Télécharger le fichier

Dates et versions

cel-00574575 , version 1 (08-03-2011)

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⟩
1458 Consultations
1103 Téléchargements

Partager

Gmail Facebook X LinkedIn More