Lectures on the Curry-Howard Isomorphism

M. H. Sørensen, P. Urzyczyn

Utilisée dans les 1 développements suivants :

Algorithme de type principal

Utilisée dans les 1 leçons suivantes :

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

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


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