Skip to main content

Research Repository

Advanced Search

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.

Publisher Springer
Book Title Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
ISBN 978-3-030-15655-8
APA6 Citation Altenkirch, T. (in press). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General ThoughtsSpringer
Related Public URLs https://www.springer.com/us/book/9783030156541


You might also like



Downloadable Citations

;