Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits.

No Delorme, Simon Perdrix

Browse the full FOSSACS paper archive.