erik palmgren: from type theory to setoids and back
Published 5 years ago • 285 plays • Length 1:05:58Download video MP4
Download video MP3
Similar videos
-
49:25
on the setoid model of type theory - erik palmgren
-
32:02
erik palmgren: a constructive examination of a russell style ramified type theory
-
36:54
johan commelin: condensed type theory
-
54:58
jacopo emmenegger: w types in the setoid model
-
1:18:32
mathzero, the classification problem, and set-theoretic type theory - david mcallester
-
15:57
type theory and formalization of mathematics - anders mörtberg
-
6:17
geometry and number theory from norway!
-
7:11
terence tao's analysis i and analysis ii book review
-
16:32
a floored limit.
-
1:06:24
mike shulman type-theoretic model toposes
-
1:14:18
eric finster, towards higher universal algebra in type theory