Skip to Main content Skip to Navigation
Lectures

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
Document type :
Lectures
Complete list of metadatas

https://cel.archives-ouvertes.fr/cel-00574575
Contributor : Jean-Louis Krivine <>
Submitted on : Tuesday, March 8, 2011 - 4:13:22 PM
Last modification on : Saturday, March 28, 2020 - 2:17:30 AM
Long-term archiving on: : Thursday, June 9, 2011 - 2:38:52 AM

Identifiers

  • HAL Id : cel-00574575, version 1

Collections

Citation

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

Share

Metrics

Record views

1785

Files downloads

831