urs schreiber, topological quantum programming via linear homotopy types
Published 7 months ago • 580 plays • Length 1:13:48Download video MP4
Download video MP3
Similar videos
-
1:08:28
urs schreiber: "effective quantum certification via linear homotopy types"
-
34:25
urs schreiber: "effective quantum certification via linear homotopy types"
-
21:34
topological quantum programming in ted-k -- talk at planqc2022
-
1:03:39
urs schreiber - ted k-theory of cohomotopy moduli spaces and anyonic topological order
-
24:18
dr. jens küchenmeister, thorlabs education, “the quantum optics kits”, quantum engineering, caltech
-
1:09:32
quantum computing: algorithm, programming and hardware, an introduction
-
1:19:00
optical quantum computing with continuous variables
-
1:15:36
"higher topos theory in physics", talk by urs schreiber in the zulip category theory seminar (2024)