Umfang:
Online-Ressource
Anmerkung:
Frankfurt (Main), Univ., Diss., 2005
Weitere Ausg.:
Druckausg. Mann, Matthias, 1972- A non-deterministic call-by-need lambda calculus
Sprache:
Englisch
Schlagwort(e):
Hochschulschrift
URN:
urn:nbn:de:hebis:30-24661
URL:
https://nbn-resolving.org/urn:nbn:de:hebis:30-24661
URL:
https://d-nb.info/979189675/34
URL:
http://publikationen.ub.uni-frankfurt.de/volltexte/2006/2466/index.html
Bookmarklink