Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power

Ugo Dal Lago Andrea Masini Margherita Zorzi

Published in: CoRR (2007)

Keyphrases

expressive power
query language
first order logic
quantum computation
data complexity
transitive closure
computational properties
relational algebra
programming language
logic programming
fixed point
propositional logic
recursive queries