TU Darmstadt / ULB / TUbiblio

Extensional concepts in intensional type theory

Hofmann, Martin (1997)
Extensional concepts in intensional type theory.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 1997
Autor(en): Hofmann, Martin
Art des Eintrags: Bibliographie
Titel: Extensional concepts in intensional type theory
Sprache: Deutsch
Publikationsjahr: 1997
Ort: Berlin (u.a.)
Verlag: Springer
Kollation: 214 S
Auflage: Berlin (u.a.): Springer, 1997. 214 S
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:55
Letzte Änderung: 26 Aug 2018 21:21
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