Book/Intuitionistic Type Theory
Jump to navigation
Jump to search
Martin-Löf, Per (June 1980). Intuitionistic type theory (PDF). local page: Springer.
On page 87 of Martin-Löf's book[1], there is a section dedicated to talk about Universes which is the logical notion of Universality.
References
- ↑ Martin-Löf, Per (June 1980). Intuitionistic type theory (PDF). local page: Springer.