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 | Mar 29, 2024 |
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
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
(2023)
Journal Article
Constructing a universe for the setoid model
(2021)
Conference Proceeding
Big Step Normalisation for Type Theory
(2020)
Journal Article
Towards a cubical type theory without an interval
(2018)
Journal Article
Type theory in type theory using quotient inductive types
(2016)
Conference Proceeding
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search