KIT | KIT-Bibliothek | Impressum

On the expressive power of simply typed and let-polymorphic lambda calculi

Hillebrand, Gerd; Kanellakis, P.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 177796
Erscheinungsvermerk In: Proceedings. 11th Annual IEEE Symposium on Logic in Computer Science, LICS'96, New Brunswick, NJ 1996. Los Alamitos, Calif. 1996. S. 253-263.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page