Revisiting the Steenrod Squares in HoTT
Talk, TYPES 2024, Copenhagen, Denmark
Talks
The Steenrod Squares in HoTT Revisited
Talk, HoTT/UF 2024, Leuven, Belgium
Cellular Homology and the Cellular Approximation Theorem
Talk, HoTT/UF 2024, Leuven, Belgium
Symmetric Monoidal Smash Products in HoTT
Talk, The Second International Conference on Homotopy Type Theory (HoTT 2023), Pittsburgh, USA
π₄(S³) ≅ ℤ/2ℤ Cubical Agda
Talk, Seminar (Logical Foundations of Computation), University of Turin, Turin, Italy
Introduction to Cubical Agda
Talk, Seminar (Logical Foundations of Computation), University of Turin, Turin, Italy
Smash Products Are Symmetric Monoidal in HoTT
Talk, HoTT/UF 2023, Vienna, Austria
Dealing With Smash Products in HoTT
Talk, Stockholm–Göteborg joint type theory seminar, Gothenburg, Sweden
Calculating a Brunerie Number
Talk, Homotopy Type Theory Electronic Seminar Talks, Online
Formalizing π₄(S³) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda
Talk, LICS 2023, Boston, USA/Online
The 4th Homotopy Group of the 3-Sphere in Cubical Agda
Talk, TYPES 2022, Nantes, France
Cohomology Theory and Brunerie Numbers in Cubical Agda
Talk, Formalization of Cohomology Theories, Banff, Canada/Online
Synthetic Integral Cohomology in Cubical Agda
Talk, CSL 2022, Online
Cohomology Computations in Cubical Agda
Talk, Stockholm–Göteborg joint type theory seminar, Online