- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2021
- Keyword
-
Type theory
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2021
- Creator
-
Forster, Yannick
- Contributor
- DOI
-
10.22028/D291-35758
- URN
-
urn:nbn:de:bsz:291--ds-357581
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Forster, Yannick
- Smolka, Gert
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
Engineering formal systems in constructive type theory
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
Diagramm design : a constructive theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Constructive Aspects of Monogenic Function Theory
Constructive algebraic integration theory without choice
Rational homotopy type : a constructive study via the theory of the I*-measure
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Engineering formal systems in constructive type theory
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
Diagramm design : a constructive theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Constructive Aspects of Monogenic Function Theory
Constructive algebraic integration theory without choice
Rational homotopy type : a constructive study via the theory of the I*-measure
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Engineering formal systems in constructive type theory
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
Diagramm design : a constructive theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Constructive Aspects of Monogenic Function Theory
Constructive algebraic integration theory without choice
Rational homotopy type : a constructive study via the theory of the I*-measure