Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).

ID: 889889732267790337

linkhttps://ncatlab.org/davidcorfield/show/HomePage calendar_today25-07-2017 16:47:00