III · Science
A modern perspective on type theory
Subjects
Type theory · Mathematics · Logic · Computer science · Symbolic and mathematical Logic · Mathematical Logic and Foundations
Language
ENG
Free download
Download "A modern perspective on type theory"
PDF·EPUB·MOBI·TXT
No signup. No fees. Yours to keep.




![Cover of [William Wheeler Hubbell, authorized to apply for patents.] by United States. Congress. Senate. Committee on Patents](https://covers.openlibrary.org/b/id/10200621-M.jpg)
