Login / Signup

Full abstraction for the quantum lambda-calculus.

Pierre ClairambaultMarc de Visme
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • lambda calculus
  • programming language
  • high level
  • data abstraction
  • predicate calculus
  • database query languages
  • program understanding
  • higher order
  • general purpose
  • complex objects
  • database
  • database systems