1:19:41
Category Theory Foundations, Lecture 1
p473r
1:30:52
Category Theory Foundations, Lecture 2
1:20:42
Category Theory Foundations, Lecture 3
1:15:44
Category Theory Foundations, Lecture 4
1:24:13
Type Theory Foundations, Lecture 1
1:20:07
Type Theory Foundations, Lecture 2
1:18:11
Type Theory Foundations, Lecture 3
1:17:08
Type Theory Foundations, Lecture 4
1:14:16
Type Theory Foundations, Lecture 6
1:30:48
Type Theory Foundations, Lecture 5
1:25:57
Proof Theory Foundations, Lecture 1
1:17:38
Proof Theory Foundations, Lecture 2
1:25:16
Proof Theory Foundations, Lecture 3
1:29:13
Proof Theory Foundations, Lecture 4
