Symmetric Monoidal Smash Products in HoTT
Talk, The Second International Conference on Homotopy Type Theory (HoTT 2023), Pittsburgh, USA
Talk, The Second International Conference on Homotopy Type Theory (HoTT 2023), Pittsburgh, USA
Talk, Seminar (Logical Foundations of Computation), University of Turin, Turin, Italy
Talk, Seminar (Logical Foundations of Computation), University of Turin, Turin, Italy
Talk, HoTT/UF 2023, Vienna, Austria
Talk, Stockholm–Göteborg joint type theory seminar, Gothenburg, Sweden
Talk, Homotopy Type Theory Electronic Seminar Talks, Online
Talk, LICS 2023, Boston, USA/Online
Talk, Types 2022, Nantes, France
Talk, Formalization of Cohomology Theories, Banff, Canada/Online
Talk, CSL 2022, Online
Talk, Stockholm–Göteborg joint type theory seminar, Online