TU Darmstadt / ULB / TUbiblio

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

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

Typ des Eintrags: Artikel
Erschienen: 1995
Autor(en): Hofmann, Martin
Art des Eintrags: Bibliographie
Titel: Sound and complete axiomatisations of call-by-value control operators
Sprache: Englisch
Publikationsjahr: 1995
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Mathematical structures in computer science. 5 (1995), S. 461-482
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:57
Letzte Änderung: 20 Feb 2020 13:32
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen