Homotopy Type Theory. Univalent Foundations of Mathematics

Author: Aczel Peter et al.
Language: English
File Type: pdf
File Size: 6.7 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book