Music |
Video |
Movies |
Chart |
Show |
Homotopy Type Theory Discussed - Computerphile (Computerphile) View | |
What is...homotopy type theory (VisualMath) View | |
Homotopy Type Theory: Vladimir Voevodsky - Computerphile (Computerphile) View | |
Homotopy Type Theory: what can logic do for homotopy theory - Peter Lumsdaine (Institute for Advanced Study) View | |
My First Type Theory (Guerrilla-Lectures) View | |
Homotopy type (Melvin Leok) View | |
Homotopy Type (Pirate Bugbear ) View | |
Constructive Notions of Ordinals in Homotopy Type Theory (TYPES 2021) (Fredrik Nordvall Forsberg) View | |
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie (Institute for Advanced Study) View | |
1.1 Introduction to Algebraic Topology. Homotopy. (Animated Math) View |