Graphic lambda calculus

Published in: CoRR (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
pairwise
program understanding
database
query language
object oriented
formal model