Book/Intuitionistic Type Theory

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

Martin-Löf (June, 1980). Intuitionistic type theory (PDF). local page: Springer.  Check date values in: |date= (help)

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

References

Related Pages

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