nLab Daniel Grayson

webpage

Selected writings

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 $]$

Related entries

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.