nLab
Kristina Sojakova

Selected writings

On the Eckmann-Hilton argument in homotopy type theory:

category: people

Last revised on July 28, 2021 at 16:03:14. See the history of this page for a list of all contributions to it.