andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

August 23, 2016

HoTT and Philosophy

Filed under: Uncategorized — Andrei Rodin @ 8:29 am

Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics


University of Bristol; September 13-15th, 2016.


No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress