Homotopy Type Theory DMV2015 > history (Rev #15)

Homotopy Type Theory and Univalent Foundations at DMV 2015

The abstracts are available on the site above.

Revision on September 30, 2015 at 15:16:35 by Tamara von Glehn?. See the history of this page for a list of all contributions to it.