Confluence Results for a Quantum Lambda Calculus with Measurements

Ugo Dal Lago Andrea Masini Margherita Zorzi

Published in: CoRR (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
knowledge base
database systems
higher order