Type theory and the algebra of types
15:22
Type theory and the algebra of types
14K viewsJan 31, 2025
YouTubeAll Angles
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21K viewsAug 1, 2018
YouTubeOPLSS
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
271.6K viewsJan 11, 2017
YouTubeComputerphile
The Formal System of Type Theory
8:25
The Formal System of Type Theory
2 views3 months ago
YouTubeStaiblocks
Introductory Lectures on Type Theory (1 : Functions)
53:06
Introductory Lectures on Type Theory (1 : Functions)
10.2K viewsMay 3, 2021
YouTubeThorsten Altenkirch
Type Theory, AI Memory and Metagraphs
Type Theory, AI Memory and Metagraphs
9 months ago
substack.com
Type Theory Foundations, Lecture 3
Type Theory Foundations, Lecture 3
4.7K viewsDec 8, 2013
YouTubep473r
2:14
Homotopy Type Theory in 2 Minutes
814 views8 months ago
YouTube2 Minute Expert
TypeTheoryForall - Twitch
10 months ago
twitch.tv
3:30:19
Proof, Programming, and Type Theory
1.6K viewsAug 31, 2024
bilibili他方星云
13:31
Homotopy Type Theory Discussed - Computerphile
71.9K viewsOct 13, 2017
YouTubeComputerphile
19:39
Building a Typechecker from scratch [1/20] Introduction to Typ…
13.7K viewsMay 12, 2022
YouTubeDmitry Soshnikov
37:14
Type Theory Foundations 1.0 — Robert Harper
22K viewsJan 2, 2014
YouTubeMathématiques et programmation
1:24:13
Type Theory Foundations, Lecture 1
43.5K viewsDec 8, 2013
YouTubep473r
22:12
Homotopy type theory
466 viewsJan 22, 2016
YouTubeWikiAudio
10:08
Why should you learn Type Theory?
73.9K viewsAug 16, 2021
YouTubeDapper Mink
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
64.2K viewsOct 6, 2017
YouTubeComputerphile
52:24
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon …
11.4K viewsJan 4, 2016
YouTubeConfreaks
2:03:16
Introduction to the metatheory of type theory
703 viewsAug 29, 2024
bilibili他方星云
7:20
You must c C reate an account to continue watching
8.3K viewsAug 15, 2019
Study.com
37:03
Type Theory Foundations 3.1 — Robert Harper
1K viewsJan 2, 2014
YouTubeMathématiques et programmation
13:03
Typography Theory: The Anatomy of Type | Basics for Beginners
28.6K viewsJun 1, 2020
YouTubeTipTut
17:46
Propositions as Types - Computerphile
103.5K viewsSep 27, 2017
YouTubeComputerphile
0:32
Type Theory Foundations 3.2 — Robert Harper
565 viewsJan 2, 2014
YouTubeMathématiques et programmation
Notes on Type Theory for beginners
4.5K viewsMar 23, 2017
YouTubeJfokus
19:08
Semantics: Lambda Calculus and Types
15.2K viewsFeb 15, 2023
YouTubeTrevTutor
9:57
Type Theory Foundations 1.2 — Robert Harper
3.1K viewsJan 2, 2014
YouTubeMathématiques et programmation
14:47
Typography Theory: The Basics of Type | Basics for Beginners
51.4K viewsApr 30, 2020
YouTubeTipTut
29:03
Introduction to Cubical Type Theory (Part I)
5.6K viewsMar 25, 2020
YouTubeFavonia
See more videos
Static thumbnail place holder