Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9-10 June 2016, Workshop at Kent: Type Theory and Philosophy, Canterbury, England

Date: 9-10 June 2016
Location: Canterbury, England

This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.

For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.

Please note that this newsitem has been archived, and may contain outdated information or links.