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
Mathys Rennela and Sam Staton