Homotopy Type Theory
semi-simplicial types (Rev #1)

See here for now.

Revision on March 6, 2014 at 15:41:29 by Mike Shulman. See the history of this page for a list of all contributions to it.