Pi et Sigma types

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

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