TU Darmstadt / ULB / TUbiblio

Classical logic, continuation semantics and abstract machines

Streicher, Thomas ; Reus, :
Classical logic, continuation semantics and abstract machines.
In: Journal of functional programming. 8 (1998), S. 543-572
[Artikel], (1998)

Typ des Eintrags: Artikel
Erschienen: 1998
Autor(en): Streicher, Thomas ; Reus,
Titel: Classical logic, continuation semantics and abstract machines
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of functional programming. 8 (1998), S. 543-572
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:19
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen