Topic: Homotopy Type Theory

• 2024 School on Univalent Mathematics - August 12, 2024