ENGLISH

Homotopy Type Theory Lecture Notes (CMU 15-819)

By it-ebooks

Book information

Publisher
iBooker it-ebooks
Year
2017
Language
english
Format
PDF
Filesize
3 MB (3172604 bytes)
Series
it-ebooks-2017
Pages
\116
Time added
2021-03-29 12:24:35

Similar books