THORSTEN ALTENKIRCH THORSTEN.ALTENKIRCH@NOTTINGHAM.AC.UK
Professor of Computer Science
Naive Type Theory
Altenkirch, Thorsten
Authors
Contributors
Stefania Centrone
Editor
Deborah Kant
Editor
Deniz Sarikaya
Editor
Abstract
We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naive understanding of its concepts.
Citation
Altenkirch, T. (2019). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (101-136). Springer
| Online Publication Date | Nov 11, 2019 |
|---|---|
| Publication Date | Nov 20, 2019 |
| Deposit Date | May 1, 2019 |
| Publicly Available Date | Nov 12, 2021 |
| Publisher | Springer |
| Pages | 101-136 |
| Series Title | Synthese Library |
| Series Number | 407 |
| Series ISSN | 0166-6991 |
| Book Title | Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts |
| ISBN | 9783030156541 |
| Public URL | https://nottingham-repository.worktribe.com/output/1990007 |
| Publisher URL | https://www.springer.com/gb/book/9783030156541 |
Files
Notes
(194 Kb)
PDF
You might also like
Pure functional epidemics
(2018)
Conference Proceeding
Generalizations of Hedberg’s Theorem
(2013)
Conference Proceeding
The Integers as a Higher Inductive Type
(2020)
Conference Proceeding
Indexed containers
(2015)
Journal Article
Setoid type theory-a syntactic translation
(2019)
Conference Proceeding