[FOM] foundations meeting/FOMUS/discussion
botocudo at gmail.com
Fri Mar 25 20:12:15 EDT 2016
>> I found the following on the Internet:
>>Unfortunately, I do not see any indication of who the authors are of
>>this internet manuscript, which is a bit strange and frustrating.
> I assume that this has been prepared for blind review, which is why it doesn't have the authors stated. From the other papers they cite as being by them, however, we can see that (at least some of them) are philosophers at the University of Bristol, which has several philosophers interested in HoTT. I will not say more at the moment, since the paper may very well be under review by someone reading FOM right now.
This appears to have already been published:
As it turns out, the authors are currently organizing the following event:
Homotopy Type Theory in Logic, Metaphysics
and Philosophy of Physics
University of Bristol
13-15 September 2016
More information about the FOM