Book/Intuitionistic Type Theory

From PKC
Revision as of 02:42, 22 February 2022 by Benkoo (talk | contribs) (Created page with "{{cite book |title=Intuitionistic type theory |last=Martin-Löf |date=1980 |url=http://www.cs.cmu.edu/afs/cs/Web/People/crary/819-f09/Martin-Lof80.pdf |publisher=Springer |lo...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Martin-Löf (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.

References

Related Pages

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