(1 - 16 from 24
)
David Corfield (University of Kent) Homotopy Type Theory, a...
philevents.org
Homotopy Type Theory, a revolutionary language for philosophy of logic, mathematics, and physics? – A Talk or similar by David Corfield ...
sorted by relevance / date