Lambda-calculus types and models - CEL - Cours en ligne
Lectures Year : 2002

Lambda-calculus types and models

Jean-Louis Krivine
  • Function : Author
  • PersonId : 840657
Preuves, Programmes et Systèmes

Abstract

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

Domains

Mathematics [math] Computer Science [cs]
Fichier principal
Vignette du fichier
Lambda.pdf (1.15 Mo) Télécharger le fichier

Jean-Louis Krivine  : Connect in order to contact the contributor

https://cel.hal.science/cel-00574575

Submitted on : Tuesday, March 8, 2011-4:13:22 PM

Last modification on : Monday, April 8, 2024-10:34:30 AM

Long-term archiving on : Thursday, June 9, 2011-2:38:52 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : cel-00574575 , version 1

Cite

Jean-Louis Krivine. Lambda-calculus types and models. DEA. Université Paris 7, 2002, pp.208. ⟨cel-00574575⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
1550 View
1165 Download

Share

More