Graphic Lambda Calculus.

Published in: Complex Syst. (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
complex objects
high level
knn
test cases