1 paper · 1 filter
Cihan Okay, Walker Stern, Redi Haderi +1
Quantum computation admits several models that emphasize different computational primitives and forms of classical control. We develop a unified double categorical framework for de…