homotopy type theory - an introduction to topology, formal logic, and hott #some3
Published 1 year ago • 2.3K plays • Length 7:47Download video MP4
Download video MP3
Similar videos
-
1:41:18
getco 2022 / eric finster / introduction to homotopy type theory
-
1:43:54
cohomology in homotopy type theory - eric finster
-
1:43:33
andré joyal --- homotopy type theory: a new bridge between logic, category theory and topology.b
-
1:25:52
jonas frey, introduction to modalities
-
36:14
dr. roberta bonacina (tübingen): introduction to homotopy type theory i
-
16:36
homotopy type theory: what can logic do for homotopy theory? - peter lumsdaine
-
14:41
what is...homotopy type theory?