Pi et Sigma types

http://www.cs.nott.ac.uk/~psztxa/ntt/pisigma.pdf

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