Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
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
Lietz, Peter ; Streicher, Thomas (2002)
Impredicativity entails untypedness.
In: Mathematical structures in computer science, 12
Artikel, Bibliographie
Drucken
Impressum