> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen Beteiligte: Kutzner, Arne [Verfasser:in] Umfang: Online-Ressource Sprache: Deutsch Identifikator: Schlagwörter: Ein-Ausgabe > Funktionale Programmiersprache > Lambda-Kalkül > Nichtdeterminismus > Operationale Semantik > Programmtransformation Entstehung: Hochschulschrift: Frankfurt (Main), Univ., Diss., 2000 Anmerkungen: Erscheinungsjahr an der Haupttitelstelle: 1999 Zugangsstatus: Freier Zugang