TU Darmstadt / ULB / TUbiblio

Completeness of continuation models for gamma(mu)-calculus

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

Typ des Eintrags: Artikel
Erschienen: 2002
Autor(en): Hofmann, M. ; Streicher, Thomas
Art des Eintrags: Bibliographie
Titel: Completeness of continuation models for gamma(mu)-calculus
Sprache: Englisch
Publikationsjahr: 2002
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Information and computation
Jahrgang/Volume einer Zeitschrift: 179
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:29
Letzte Änderung: 17 Apr 2020 10:14
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