Lambda Calculus with Types || Properties of Terms with...

  • Main
  • Lambda Calculus with Types ||...

Lambda Calculus with Types || Properties of Terms with Types λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
10.1017/CB
Année:
2013
Langue:
english
DOI:
10.1017/CBO9781139032636.014
Fichier:
PDF, 401 KB
english, 2013
La conversion en est effectuée
La conversion en a échoué