Lambda-calculus types and modelsReport as inadecuate




Lambda-calculus types and models - Download this document for free, or read online. Document in PDF available to download.

1 PPS - 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





Author: Jean-Louis Krivine -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents