Lambda-Calculus and Combinators, an Introduction || Simple...

  • Main
  • Lambda-Calculus and Combinators, an...

Lambda-Calculus and Combinators, an Introduction || Simple typing, Church-style

Hindley, J. Roger, Seldin, Jonathan P.
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:
2008
DOI:
10.1017/cbo9780511809835.011
Fichier:
PDF, 161 KB
2008
La conversion en est effectuée
La conversion en a échoué