Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson:
Symmetry
(2021)
on symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics.
Created on June 16, 2022 at 09:54:14. See the history of this page for a list of all contributions to it.