TU Darmstadt / ULB / TUbiblio

Inductive construction of repletion

Streicher, Thomas :
Inductive construction of repletion.
In: Applied categorical structures, 7 pp. 185-207.
[Artikel], (1999)

Typ des Eintrags: Artikel
Erschienen: 1999
Autor(en): Streicher, Thomas
Titel: Inductive construction of repletion
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Applied categorical structures
Band: 7
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:21
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen