KIT | KIT-Bibliothek | Impressum | Datenschutz

First-order semantics for higher-order processes

Baldamus, Michael



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen-ID: 32492000
Erscheinungsvermerk In: Proceedings of the Higher-order Operational Techniques in Semantics, HOOTS 2000, Montreal, Canada 2000. S. 51-71.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page