Computability in constructive type theory
Forster, Yannick ; Smolka, Gert 2021 Saarländische Universitäts- und Landesbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1255182792
- Titel
-
Computability in constructive type theory
- Art des Inhalts
- Monographie
- Verfassangaben
- Yannick Forster ; Betreuer: Gert Smolka
- Autor(en)
-
- Forster, Yannick
- Smolka, Gert
- Verlag
- Saarbrücken : Saarländische Universitäts- und Landesbibliothek [2021]
- Jahr
- Erscheinungsdatum: 2021
- Umfang/Format
- Online-Ressource
- DOI
- 10.22028/D291-35758
- Online
- https://doi.org/10.22028/D291-35758
- Sprache
- eng
- Schlagwörter
-
- Stand
- 25.12.2025 07:14
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
