Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Sam Staton
Latest
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Quantum channels as a categorical completion
Universal Properties in Quantum Theory
Classical Control and Quantum Circuits in Enriched Category Theory
Algebraic Effects, Linearity, and Quantum Programming Languages
Cite
×