Login / Signup

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.

Alejandro Díaz-CaroPablo ArrighiManuel GadellaJonathan 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