Quantum superpositions and projective measurement in the lambda calculus.

Alejandro Díaz-Caro Gilles Dowek

Published in: CoRR (2016)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
program understanding
data structure
natural language
general purpose
complex objects