Login / Signup
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.
Alejandro Díaz-Caro
Pablo Arrighi
Manuel Gadella
Jonathan Grattage
Published in:
Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
</>
quantum computing
quantum inspired
databases
quantum computation
multiscale
expert systems
artificial neural networks
mobile robot
fixed point
theorem prover
time of flight
rewrite systems
lambda calculus