KIT | KIT-Bibliothek | Impressum | Datenschutz

Comparing reduction strategies in resource-conscious lambda calculi

Maraist, John


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsjahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 54597
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 24.10.1996.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten Diss. v. 24.10.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page