Format:
Online-Ressource
Note:
Frankfurt (Main), Univ., Diss., 2005
Additional Edition:
Druckausg. Mann, Matthias, 1972- A non-deterministic call-by-need lambda calculus
Language:
English
Keywords:
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