simon huber, homotopy canonicity for cubical type theory
Published 5 years ago • 505 plays • Length 1:21:35Download video MP4
Download video MP3
Similar videos
-
1:28:41
carlo angiuli, computational semantics of cartesian cubical type theory
-
1:04:40
anders mortberg: "cubical methods in homotopy type theory and univalent foundations"
-
59:26
anders mörtberg, unifying cubical models of homotopy type theory
-
1:07:38
evan cavallo, internal parametricity and cubical type theory
-
1:13:48
gluing in homotopy type theory - michael shulman
-
37:55
qctip2020 - simon benjamin
-
1:00:59
lie algebras and homotopy theory - jacob lurie
-
26:35
andrew swan, why cubical sets are different to simplicial sets
-
28:32
thibaut benjamin, catt, a type theory to describe weak ω-categories
-
20:49
higher inductive types in cubical computational type theory
-
1:00:30
andrew j. blumberg: "abstract homotopy theory for topological data analysis"
-
1:43:54
cohomology in homotopy type theory - eric finster
-
45:45
matthew weaver, a constructive model of directed univalence in bicubical sets
-
47:53
roman geiko | homotopy classes of loops of clifford unitaries
-
1:07:16
cohomology of algebroids and harmonic shuffle relation - tomohide terasoma
-
1:05:50
yuki maehara, a cubical model for weak ω-categories