nLab HoTT at DMV2015

See also

This page records talks that were given at the meeting:

on homotopy type theory and univalent foundations of mathematics.

See also

category: reference

Last revised on June 18, 2022 at 08:26:49. See the history of this page for a list of all contributions to it.