#HoTT Benno van den Berg : homotopy type theory

https://staff.science.uva.nl/u.endriss/teaching/lolaco/2014/slides/VanDenBerg.pdf

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.