Skip to main content

Classical Control‚ Quantum Circuits and Linear Logic in Enriched Category Theory

Mathys Rennela and Sam Staton

Journal
Log. Methods Comput. Sci.
Number
1
Volume
16
Year
2020