Philosophical Logic of #HoTT

https://www.sussex.ac.uk/webteam/gateway/file.php?name=talk.pdf&site=552

Advertisements
This entry was posted in homotopy type theory, Logique, Philosophie mathématique. Bookmark the permalink.