Schreiber Topological Quantum Gates in Homotopy Type Theory

An article that we have written:

Companion articles:

Expository talks:


Gauss-Manin connections on twisted cohomology in traditional literature.pdfp. 231 in Voisin
Gauss-Manin connection on twisted cohomology as dependent function type transport.pdfp. 69 in TQG
Configuration spaces, braid groups and their finite presentations.pdfpp. 13 in TQG
KZ-connection on 𝔰𝔲 ( 2 ) \mathfrak{su}(2) -anyonic conformal blocks as dependent function type transport.pdfp. 76 in TQG
Identified via FSV94‘s hypergeometric integral-construction of Laughlin wavefunctions.pdfp. 32 in Ord
The quantum adiabatic theorem and topological quantum gates.pdfp. 21 in TQG
Need for certified topological quantum language.pdfpp. 3 in Tow
A case for linear homotopy type theory.pdfpp. 3 in QM
Quantum modalities from dependent linear types.pdfpp. 69 in QM
(Deferred) Quantum measurement from Quantum modalities.pdfpp. 78 in QM
Doubly monoidal model category for dependent linearly-typed topological quantum gates.pdfpp. 1 in EoS

Related articles:

Related talks:

Last revised on February 17, 2024 at 09:06:47. See the history of this page for a list of all contributions to it.