Login / Signup

A Lambda Calculus for Quantum Computation with Classical Control.

Peter SelingerBenoît Valiron
Published in: TLCA (2005)
Keyphrases
  • quantum computation
  • lambda calculus
  • programming language
  • predicate calculus
  • object oriented
  • natural language processing
  • co occurrence
  • open source
  • complex objects
  • aggregate queries