On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

- Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson:
*Symmetry*(2021) $[$pdf$]$

category: people

Last revised on February 3, 2023 at 16:29:17. See the history of this page for a list of all contributions to it.