Logic, types and Spaces : dependent fonction types

http://siddhartha-gadgil.github.io/LogicTypesSpaces/blog/2015/01/22/dependent-function-types/

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