Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics
University of Bristol; September 13-15th, 2016.
August 23, 2016
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.
Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics
University of Bristol; September 13-15th, 2016.
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.
Powered by WordPress