Featured

Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics

The Department of Philosophy at the University of Bristol will be hosting the closing conference of the project Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics , on September 13-15th, 2016.

Both the project and the conference are generously funded by the Leverhulme Trust.

 bristolcolours

Save

Advertisements