Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic

Pablo Arrighi Alejandro Díaz-Caro

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

lambda calculus
predicate calculus
programming language
program understanding
quantum computation
higher order
database query languages
complex objects
logic programming
reverse engineering
expert systems
pairwise
query language
query optimization
software maintenance