Book/Intuitionistic Type Theory

From PKC
Revision as of 02:47, 22 February 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

Martin-Löf, Per (June 1980). Intuitionistic type theory (PDF). local page: Springer. 

Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

 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

  1. ↑ Martin-Löf, Per (June 1980). Intuitionistic type theory (PDF). local page: Springer. 

Related Pages

Retrieved from "https://pkc.pub/index.php?title=Book/Intuitionistic_Type_Theory&oldid=25813"