on the setoid model of type theory - erik palmgren
Published 7 years ago • 313 plays • Length 49:25Download video MP4
Download video MP3
Similar videos
-
1:05:58
erik palmgren: from type theory to setoids and back
-
1:18:32
mathzero, the classification problem, and set-theoretic type theory - david mcallester
-
54:58
jacopo emmenegger: w types in the setoid model
-
1:28:27
natural models of type theory - steve awodey
-
9:10
how to get started with typeset.com
-
10:17
my first type theory
-
1:00:35
3 01 a functional programmer's guide to homotopy type theory
-
1:42:45
setoids, e-categories, and exact completions - richard garner
-
1:06:51
thorsten altenkirch, towards higher models and syntax of type theory
-
19:13
on the erdős sumset conjectures - florian k richter
-
1:06:24
mike shulman type-theoretic model toposes