Blättern nach Person

Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache

Springe zu: 2005 | 2004 | 2002

Anzahl der Einträge: 3.

2005

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

Diese Liste wurde am Tue Nov 19 02:45:46 2024 CET generiert.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Exportieren als	Atom RSS 1.0 RSS 2.0