researchers with a paper here
collaborating institutions

1 paper

cs.LO2016

Sequent Calculus Representations for Quantum Circuits

Cameron Beebe

When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary…