Skip to content

HoTT and Philosophy

  • Home
  • Speakers
  • Schedule
  • Abstracts
  • Practical information
  • Twitter
  • Facebook
  • Google+
  • GitHub
  • WordPress.com
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

Author giuliaterzianPosted on May 12, 2016July 29, 2016
  • Home
  • Speakers
  • Schedule
  • Abstracts
  • Practical information
  • Twitter
  • Facebook
  • Google+
  • GitHub
  • WordPress.com
HoTT and Philosophy Create a free website or blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
  • Follow Following
    • HoTT and Philosophy
    • Already have a WordPress.com account? Log in now.
    • HoTT and Philosophy
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar
 

Loading Comments...