On a measurement-free quantum lambda calculus with classical control.

Ugo Dal Lago Andrea Masini Margherita Zorzi

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

lambda calculus
quantum computation
predicate calculus
database query languages
programming language
open source
database queries