Lambda-calculus types and modelsReportar como inadecuado




Lambda-calculus types and models - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Jean-Louis Krivine -

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



DESCARGAR PDF




Documentos relacionados