Book/Intuitionistic Type Theory

From PKC

Revision as of 02:44, 22 February 2022 by Benkoo (talk | contribs) (→‎Related Pages)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

References

Related Pages

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