Search
Now showing items 1-1 of 1
Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory
(SPIE-INT SOC OPTICAL ENGINEERING, 2015-05-21)
The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a ...
