Media type: Doctoral Thesis; E-Book; Electronic Thesis Title: Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen Contributor: Kutzner, Arne [Author] imprint: Publication Server of Goethe University Frankfurt am Main, 2005-10-18 Language: German Keywords: Lambda-Kalkül ; Programmtransformation ; Funktionale Programmiersprache ; Ein-Ausgabe ; Nichtdeterminismus ; Operationale Semantik Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access