TU Darmstadt / ULB / TUbiblio

Extensional concepts in intensional type theory

Hofmann, Martin :
Extensional concepts in intensional type theory.
Springer , Berlin (u.a.)
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1997
Autor(en): Hofmann, Martin
Titel: Extensional concepts in intensional type theory
Sprache: Deutsch
Ort: Berlin (u.a.)
Verlag: Springer
Edition: Berlin (u.a.): Springer, 1997. 214 S
Kollation: 214 S
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:55
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen