nLab David Wärn

Selected writings

Selected writings

On delooping in homotopy type theory and application to Eilenberg-MacLane spaces and Steenrod operations:

category: people

Last revised on February 28, 2023 at 19:05:37. See the history of this page for a list of all contributions to it.