Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics
University of Bristol; September 13-15th, 2016.
Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics
University of Bristol; September 13-15th, 2016.
Powered by WordPress