Login / Signup
A deep inference system with a self-dual binder which is complete for linear lambda calculus.
Luca Roversi
Published in:
J. Log. Comput. (2016)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
database
query processing