Logic, types and spaces: towards homotopy type theory October 27, 2017Uncategorizedmathesisuniversalis Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Source: Logic, types and spaces: towards homotopy type theory View original post