Login / Signup
A lambda calculus for density matrices.
Alejandro Díaz-Caro
Published in:
CoRR (2017)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
complex objects
database query languages
program understanding
artificial intelligence
natural language
object oriented
higher order
query language
formal model
reverse engineering