TU Darmstadt / ULB / TUbiblio

Extensional concepts in intensional type theory

Hofmann, Martin:
Extensional concepts in intensional type theory.
Univ., Dept. of computer science, Edinburgh
[Buch], (1995)

Typ des Eintrags: Buch
Erschienen: 1995
Autor(en): Hofmann, Martin
Titel: Extensional concepts in intensional type theory
Sprache: Deutsch
Ort: Edinburgh
Verlag: Univ., Dept. of computer science
Edition: Edinburgh: Univ., Dept. of Computer Science, 1995. XI,288 S.
Kollation: XI,288 S.
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:25
Zusätzliche Informationen:

Phil. Thesis v. 1995

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen