- Treffer 1 von 1
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
Volltext Dateien herunterladen
Weitere Dienste
| Verfasserangaben: | Arne Kutzner |
|---|---|
| URN: | urn:nbn:de:hebis:30-19304 |
| Gutachter*in: | Manfred Schmidt-SchaußORCiDGND |
| Dokumentart: | Dissertation |
| Sprache: | Deutsch |
| Datum der Veröffentlichung (online): | 18.10.2005 |
| Jahr der Erstveröffentlichung: | 1999 |
| Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Titel verleihende Institution: | Johann Wolfgang Goethe-Universität |
| Datum der Abschlussprüfung: | 03.04.2000 |
| Datum der Freischaltung: | 18.10.2005 |
| GND-Schlagwort: | Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation |
| HeBIS-PPN: | 133681939 |
| Institute: | Informatik und Mathematik / Informatik |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Lizenz (Deutsch): |  Deutsches Urheberrecht |
