Call-by-Value lambda-calculus and LJQ.

Roy Dyckhoff Stéphane Lengrand

Published in: J. Log. Comput. (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
object oriented
database
databases
database systems
data structure
theorem proving