Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
Download full text files
Additional Services
| Author: | Arne Kutzner |
|---|---|
| URN: | urn:nbn:de:hebis:30-19304 |
| Referee: | Manfred Schmidt-SchaußORCiDGND |
| Document Type: | Doctoral Thesis |
| Language: | German |
| Date of Publication (online): | 2005/10/18 |
| Year of first Publication: | 1999 |
| Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Granting Institution: | Johann Wolfgang Goethe-Universität |
| Date of final exam: | 2000/04/03 |
| Release Date: | 2005/10/18 |
| GND Keyword: | Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation |
| HeBIS-PPN: | 133681939 |
| Institutes: | Informatik und Mathematik / Informatik |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht |
