Defines quantum cpos via discrete quantization and shows they possess categorical properties analogous to classical cpos, making them suitable for models of quantum programming languages.
Westerbaan, Quantum programs as Kleisli Maps , QPL 2016: Proceedings 13th International Confer- ence on Quantum Physics and Logic, 2016
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math-ph 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Categories of quantum cpos
Defines quantum cpos via discrete quantization and shows they possess categorical properties analogous to classical cpos, making them suitable for models of quantum programming languages.