jacopo emmenegger: w types in the setoid model
Published 6 years ago • 176 plays • Length 54:58Download video MP4
Download video MP3
Similar videos
-
1:05:58
erik palmgren: from type theory to setoids and back
-
1:27:50
jamie vicary, a type theory for strictly unital infinity-categories
-
15:44
computational design across scales and disciplines: josephine carstensen
-
1:02:57
anders mörtberg: yet another cartesian cubical type theory yacctt
-
22:38
set theory and the foundations of mathematics | menachem magidor, stephen wolfram
-
1:20:22
jamie vicary: categorification and foundations
-
1:07:24
the eisenstein ideal and its application to w. stein’s conjecture....by kenneth a. ribet
-
1:24:16
martin escardó, constructive mathematics in univalent type theory
-
59:37
tutorial on hyperarithmetic sets and computable structure theory 1
-
7:44
a ɘƨɿɘvɘɿ puzzle
-
17:11
there is some "complex" stuff happening here...
-
49:32
michael rathjen: the ubiquity of schütte's search trees
-
47:30
the green-tao theorem and a relative szemeredi theorem
-
54:18
andreas weiermann: higher proof theory and combinatorics (lecture ii)
-
19:01
eisenstein ideals: a link between geometry and arithmetic - emmanuel lecouturier
-
28:48
definitions, proofs and examples 2
-
52:52
math 320 - set theory - lecture 7.2
-
18:40
there are so many groups of order 30,000,000 (#teamseas)