TU Darmstadt / ULB / TUbiblio

Impredicativity entails untypedness

Lietz, Peter ; Streicher, Thomas :
Impredicativity entails untypedness.
In: Mathematical structures in computer science, 12 pp. 335-347.
[Artikel], (2002)

Typ des Eintrags: Artikel
Erschienen: 2002
Autor(en): Lietz, Peter ; Streicher, Thomas
Titel: Impredicativity entails untypedness
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Mathematical structures in computer science
Band: 12
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:29
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen