Naive Type Theory
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
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.