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 |
Optionen (nur für Redakteure)
![]() |
Redaktionelle Details anzeigen |