Spahn homotopy type theory and Voevodsky's univalent foundations

Álvaro Pelayo, Michael A. Warren, homotopy type theory and Voevodsky's univalent foundations?, arXiv:1210.5658

Created on November 29, 2012 at 16:32:12. See the history of this page for a list of all contributions to it.