Homotopy Type Theory
David Roberts (Rev #1)

See the nLab page.

category: people

Revision on March 31, 2014 at 18:07:58 by David Roberts. See the history of this page for a list of all contributions to it.