Bonn18: Types, Homotopy Type Theory, and Verification.
Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT/UF workshops
Revision on September 25, 2018 at 08:48:10 by Ali Caglayan. See the history of this page for a list of all contributions to it.