Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
Artikel
Lietz, Peter ; Streicher, Thomas (2002)
Impredicativity entails untypedness.
In: Mathematical structures in computer science, 12
Artikel, Bibliographie
Dissertation
Lietz, Peter (2005)
From constructive mathematics to computable analysis via the realizability interpretation.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Lietz, Peter (2004)
From constructive mathematics to computable analysis via the realizability interpretation.
Technische Universität Darmstadt
Dissertation, Bibliographie
Drucken
Impressum