#HoTT and computer formalization

https://golem.ph.utexas.edu/category/2015/06/whats_so_hott_about_formalizat.html

Advertisements
This entry was posted in Computer science, homotopy type theory and tagged . Bookmark the permalink.