RPO, Second-Order Contexts, and lambda-Calculus.

Pietro Di Gianantonio Furio Honsell Marina Lenisa

Published in: FoSSaCS (2008)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
complex objects
program understanding
co occurrence
relational model
formal model
predicate logic