- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Tübingen, Universität Tübingen, Dissertation, 2018
- Schlagwort
-
Ciphers
Typentheorie ; Kategorientheorie ; Konstruktive Mathematik ; Kompositionalität ; Semantik ; Intuitionistische Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2018
- Urheber
- Beteiligte Personen und Organisationen
-
Schroeder-Heister, Peter
- URN
-
urn:nbn:de:bsz:21-dspace-846815
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Spahn, Stephan
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Entstanden
- 2018
Ähnliche Objekte (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