TU Darmstadt / ULB / TUbiblio

Completeness of continuation models for gamma(mu)-calculus

Hofmann, M. ; Streicher, Thomas :
Completeness of continuation models for gamma(mu)-calculus.
In: Information and computation, 179 pp. 332-355.
[Artikel], (2002)

Typ des Eintrags: Artikel
Erschienen: 2002
Autor(en): Hofmann, M. ; Streicher, Thomas
Titel: Completeness of continuation models for gamma(mu)-calculus
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Information and computation
Band: 179
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:29
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen