Logic, types and spaces: towards homotopy type theory

http://siddhartha-gadgil.github.io/LogicTypesSpaces/blog/2015/03/30/homotopy-type-theory/

http://siddhartha-gadgil.github.io/LogicTypesSpaces/blog/2015/03/30/equivalence-of-types/

http://siddhartha-gadgil.github.io/LogicTypesSpaces/blog/2015/02/02/logic-from-types/

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.