- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Tübingen, Universität Tübingen, Dissertation, 2018
- Keyword
-
Ciphers
Typentheorie ; Kategorientheorie ; Konstruktive Mathematik ; Kompositionalität ; Semantik ; Intuitionistische Mathematik
- Event
-
Veröffentlichung
- (where)
-
Tübingen
- (who)
-
Universitätsbibliothek Tübingen
- (when)
-
2018
- Creator
- Contributor
-
Schroeder-Heister, Peter
- URN
-
urn:nbn:de:bsz:21-dspace-846815
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:03 AM CEST
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
- Spahn, Stephan
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Time of origin
- 2018
Other Objects (12)
Compositional learning of mutually recursive procedural systems
Terminological reasoning and partial inductive definitions
On fragments of analysis with strengths of finitely iterated inductive definitions
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Automating recursive definitions and termination proofs in higher-order logic
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Meta-inductive Justification of Inductive Generalizations
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Compositional learning of mutually recursive procedural systems
Terminological reasoning and partial inductive definitions
On fragments of analysis with strengths of finitely iterated inductive definitions
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Automating recursive definitions and termination proofs in higher-order logic
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Meta-inductive Justification of Inductive Generalizations
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Compositional learning of mutually recursive procedural systems
Terminological reasoning and partial inductive definitions
On fragments of analysis with strengths of finitely iterated inductive definitions
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Automating recursive definitions and termination proofs in higher-order logic
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Meta-inductive Justification of Inductive Generalizations