Dagger linear logic for categorical quantum mechanics.

J. Robin B. Cockett Cole Comfort Priyaa V. Srinivasan

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

quantum mechanics
linear logic
fixed point
cut elimination
logic programming
sequent calculus
logical framework
desirable properties
particle swarm optimisation
quantum probability
decision theory
general purpose