Confluence Results for a Quantum Lambda Calculus with Measurements.

Ugo Dal Lago Andrea Masini Margherita Zorzi

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
data model
complex objects
object oriented
general purpose
development process