Type Theory and Philosophy at Kent
Posted by David Corfield
I haven’t been around here much lately, but I would like to announce this workshop I’m running on 9-10 June, Type Theory and Philosophy. Following some of the links there will show, I hope, the scope of what may be possible.
One link is to the latest draft of an article I’m writing, Expressing ‘The Structure of’ in Homotopy Type Theory, which has evolved a little over the year since I posted The Structure of A.
Posted at April 21, 2016 2:05 PM UTC