NDLTD Global ETD Search
New Search
Return to search
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen
Description
Univ., Diss., 2000--Frankfurt (Main)
Links & Downloads
http://publikationen.ub.uni-frankfurt.de/volltexte/2005/1930/
Tags
Additional Fields
Identifer
oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179812376
Creators
Kutzner, Arne
Source Sets
OCLC
Language
German
Detected Language
English
Page generated in 0.0016 seconds