Login / Signup
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.
Mathys Rennela
Sam Staton
Published in:
CoRR (2017)
Keyphrases
</>
linear logic
quantum computing
quantum mechanics
proof theoretic
logical framework
quantum computation
control system
logic circuits
intuitionistic logic
theoretical framework
sequent calculus
proof search
logic synthesis
probability ranking principle
logic programming
high level synthesis