Lambda-calculus types and models
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
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