Media type: E-Book; Thesis Title: Computability in constructive type theory Contributor: Forster, Yannick [Author]; Smolka, Gert [Degree supervisor] Published: Saarbrücken, 2021 Extent: 1 Online-Ressource (212 Seiten); Illustrationen Language: English DOI: 10.22028/D291-35758 Identifier: Keywords: Hochschulschrift Origination: University thesis: Dissertation, Universität des Saarlandes, 2021 Footnote: Access State: Open Access