TY  - THES
A1  - Kutzner, Arne
T1  - Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
KW  - Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation
Y1  - 1999
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/3470
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-19304
ER  -