Applying Universal Algebra to Lambda Calculus.

Giulio Manzonetto Antonino Salibra

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

Keyphrases

lambda calculus
database query languages
programming language
relational algebra
complex objects
predicate calculus
program understanding
databases
database systems
higher order
object oriented