substructural type theory - zeilberger
Published 8 years ago • 752 plays • Length 1:33:34Download video MP4
Download video MP3
Similar videos
-
23:06
hope for a type-theoretic understanding of zero-knowledge - noam zeilberger
-
1:29:23
introduction to chern simons theory and topology - edward witten
-
49:25
on the setoid model of type theory - erik palmgren
-
2:10:15
proving in constructive mathematics by programming in agda course by uma zalakain | session 1
-
1:00:36
peter dybjer: intuitionistic type theory (lecture i)
-
1:13:48
gluing in homotopy type theory - michael shulman
-
1:28:27
natural models of type theory - steve awodey