Homotopy Type Theory
David Roberts (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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.