A Double Effect λ-calculus for Quantum Computation.

Juliana Kaizer Vizzotto Bruno Crestani Calegaro Eduardo Kessler Piveta

Published in: SBLP (2013)

Keyphrases

quantum computation
decision making
special case
computer vision
three dimensional
computer algebra