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 Apr 16 03:20:24 2024 CEST 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