TU Darmstadt / ULB / TUbiblio

Completeness of continuation models for lambda my-calculus

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

Typ des Eintrags: Artikel
Erschienen: 2002
Autor(en): Hofmann, Martin ; Streicher, Thomas
Titel: Completeness of continuation models for lambda my-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
Zusätzliche Informationen:

Zeichendarst. im Sachtitel teilw. nicht vorlagegemaess wiedergegeben

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen