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

Showing changes from revision #16 to #17: Added | Removed | Changed

Homotopy Type Theory and Univalent Foundations at DMV 2015

The abstracts are available on the site above.

category: events

Revision on June 15, 2022 at 22:50:34 by Anonymous?. See the history of this page for a list of all contributions to it.