A Quick Overview on the Quantum Control Approach to the Lambda Calculus.

Alejandro Díaz-Caro

Published in: LSFA (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
database
high level
integrity constraints