TU Darmstadt / ULB / TUbiblio

Syntax and semantics of dependent types

Hofmann, Martin :
Syntax and semantics of dependent types.
In: Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130. Univ. Press, Cambridge
[Buchkapitel], (1997)

Typ des Eintrags: Buchkapitel
Erschienen: 1997
Autor(en): Hofmann, Martin
Titel: Syntax and semantics of dependent types
Sprache: Englisch
Buchtitel: Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130
Ort: Cambridge
Verlag: Univ. Press
Edition: Cambridge: Univ. Press, 1997
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:03
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen