RPO, Second-order Contexts, and Lambda-calculus

Pietro Di Gianantonio Furio Honsell Marina Lenisa

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
complex objects
database query languages
pairwise
database
program understanding
general purpose
case study
object oriented