Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Refine
Author
Kutzner, Arne (1)
(remove)
Year of publication
1999
(1)
Document Type
Doctoral Thesis (1)
(remove)
Language
German (1)
(remove)
Has Fulltext
yes (1)
(remove)
Is part of the Bibliography
no
(1)
Keywords
Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation
(1)
Institute
Informatik
(1)
1
search hit
1
to
1
10
10
20
50
100
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
(1999)
Kutzner, Arne
1
to
1