OxfordQuantumVideo
Videos from OxfordQuantumVideo
Page 1 of 1 • 4 total videos
24:48
QPL2017 Kevin Dunne on Spectral Presheaves & H*-Algebras
OxfordQuantumVideo
57 views
41:09
Unlocking Cryptography with Diagrams and Coherence Theorems 🔐
OxfordQuantumVideo
160 views
56:35
Mastering Category Definitions in Homotopy Type Theory (HoTT) 📚
OxfordQuantumVideo
964 views
17:10
Kohei Kishida's Work on Relational Presheaves & Dynamic Logic
OxfordQuantumVideo
163 views