Daniel Grayson (changes) in nLab
Showing changes from revision #3 to #4: Added | Removed | Changed
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.