Typography Theory: The Basics of Type | Basics for Beginners
14:47
Typography Theory: The Basics of Type | Basics for Beginners
51.6K viewsApr 30, 2020
YouTubeTipTut
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
43.2K views11 months ago
YouTubeAttic Philosophy
Type theory and the algebra of types
15:22
Type theory and the algebra of types
14.7K viewsJan 31, 2025
YouTubeAll Angles
Type theory in 2 minutes
2:27
Type theory in 2 minutes
4.2K views10 months ago
YouTubeAttic Philosophy
#33 Homotopy Type Theory Explained: Higher Dimensional Loop Spaces, Abelian Groups
5:27
#33 Homotopy Type Theory Explained: Higher Dimensional Loop Spaces, Abelian Groups
114 views1 month ago
YouTubeHoTT Math
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
1:30:32
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
4 views1 month ago
YouTubeA Truth Standard
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
5:08
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
429 views4 months ago
YouTubeHoTT Math
19:08
Semantics: Lambda Calculus and Types
16.3K viewsFeb 15, 2023
YouTubeTrevTutor
3:18
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
10.4K views9 months ago
YouTubeHoTT Math
6:29
Emotional Intelligence & Personality Theories Explained | EQ, Type Theory & Trait Theory
152 views4 months ago
YouTubeTrain the Teacher
2:35
#8 Homotopy Type Theory Explained: Existential Quantifiers
1.7K views8 months ago
YouTubeHoTT Math
3:17
#3 Homotopy Type Theory Explained: Propositions as Types
3.4K views9 months ago
YouTubeHoTT Math
3:45
#15 Homotopy Type Theory Explained: Higher Inductive Types, Circle, Sphere
964 views6 months ago
YouTubeHoTT Math
3:10
#5 Homotopy Type Theory Explained: Products
1.7K views9 months ago
YouTubeHoTT Math
0:39
What is Homotopy Type Theory? #HoTT #math #maths #homotopytypetheory
1.6K views5 months ago
YouTubeHoTT Math
2:14
Homotopy Type Theory in 2 Minutes
944 viewsJun 24, 2025
YouTube2 Minute Educational
0:56
What Is the Monkey Type Theory & How Neil deGrasse Tyson Explains Its Surprising Predictions #trend
872 views5 months ago
YouTubewhatif
See more
Static thumbnail place holder
You may also want to search