Media type: E-Book Title: Computability in constructive type theory Contributor: Forster, Yannick [Author]; Smolka, Gert [Degree supervisor] Published: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2021 Extent: Online-Ressource Language: English DOI: 10.22028/D291-35758 Identifier: Keywords: Type theory Origination: University thesis: Dissertation, Saarbrücken, Universität des Saarlandes, 2021 Footnote: Access State: Open Access