Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.
Mathys RennelaSam StatonPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- linear logic
- quantum computing
- quantum mechanics
- proof theoretic
- quantum computation
- logical framework
- fixed point
- theoretical framework
- probability ranking principle
- high level synthesis
- logic synthesis
- proof search
- desirable properties
- probabilistic model
- dynamic programming
- theorem prover
- logic circuits
- sequent calculus
- high speed
- cut elimination
- knowledge base
- artificial intelligence
- machine learning