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
Jean-Louis Krivine : Connectez-vous pour contacter le contributeur
https://cel.hal.science/cel-00574575
Soumis le : mardi 8 mars 2011-16:13:22
Dernière modification le : lundi 8 avril 2024-10:34:30
Archivage à long terme le : jeudi 9 juin 2011-02:38:52