#HoTT for philosophers

https://www.st-andrews.ac.uk/philosophy/events/?eventid=791

https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html

https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy

http://philsci-archive.pitt.edu/11143/

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