TU Darmstadt / ULB / TUbiblio

Sound and complete axiomatisations of call-by-value control operators

Hofmann, Martin :
Sound and complete axiomatisations of call-by-value control operators.
In: Mathematical structures in computer science. 5 (1995), S. 461-482
[Artikel], (1995)

Typ des Eintrags: Artikel
Erschienen: 1995
Autor(en): Hofmann, Martin
Titel: Sound and complete axiomatisations of call-by-value control operators
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Mathematical structures in computer science. 5 (1995), S. 461-482
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:57
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen