Media type: E-Book; Thesis Title: Axiomatizations of compositional inductive-recursive definitions Contributor: Spahn, Stephan [VerfasserIn] Corporation: Eberhard Karls Universität Tübingen imprint: Tübingen, 2018 Extent: 1 Online-Ressource (xiv, 180 Seiten) Language: English DOI: 10.15496/publikation-26071 Identifier: Keywords: Typentheorie > Kategorientheorie > Konstruktive Mathematik > Kompositionalität > Semantik > Intuitionistische Mathematik Origination: University thesis: Dissertation, Eberhard Karls Universität Tübingen, 2018 Footnote: Access State: Open Access