A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls.

Alejandro Díaz-Caro

Published in: APLAS (2017)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
artificial intelligence
high level
database query languages