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.

 

Powered by WordPress