The Lambda Calculus. Its Syntax and Semantics

Henk Barendregt

Utilisée dans les 2 développements suivants :

Les fonctions récursives sont lambda-définissables
Confluence du lambda-Calcul

Utilisée dans les 1 leçons suivantes :

929 (2021) Lambda-calcul pur comme modèle de calcul. Exemples.

Utilisée dans les 2 versions de développements suivants :


Utilisée dans les 1 versions de leçons suivantes :