Login / Signup
A Locally Nameless Visual Lambda-calculus.
Peter Chapman
Published in:
DMS (2013)
Keyphrases
</>
lambda calculus
low level
predicate calculus
programming language
program understanding
database query languages