Homotopy Type Theory DMV2015 > history (Rev #14, changes)

Showing changes from revision #13 to #14: Added | Removed | Changed

Homotopy Type Theory and Univalent Foundations at DMV 2015

The abstracts are available on the site above.

Revision on September 29, 2015 at 11:46:06 by Bas Spitters. See the history of this page for a list of all contributions to it.