Lambda-calculus types and models - CEL - Cours en ligne
Cours Année : 2002

Lambda-calculus types and models

Jean-Louis Krivine
  • Fonction : Auteur
  • PersonId : 840657
Preuves, Programmes et Systèmes

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

Domaines

Mathématiques [math] Informatique [cs]
Fichier principal
Vignette du fichier
Lambda.pdf (1.15 Mo) Télécharger le fichier

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

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
1571 Consultations
1182 Téléchargements

Partager

More