"proof theory impressionism: blurring the curry-howard line" by dan pittman
Published 5 years ago • 12K plays • Length 35:08Download video MP4
Download video MP3
Similar videos
-
1:21:17
shape analysis, spring 2023 (lecture 12): laplacians i
-
11:48
how do we capture the truth of beliefs? type theory
-
40:27
"finding bugs without running or even looking at code" by jay parlar
-
11:16
scientific illustration week 1 - parts of a whole - critique - 2024
-
38:36
"a little taste of dependent types" by david christiansen
-
44:23
"hazel: a live functional programming environment with typed holes" by cyrus omar
-
41:40
"categories for the working hacker" by philip wadler
-
40:14
"scala vs idris: dependent types, now and in the future" by miles sabin and edwin brady (2013)