A Semantics for [lambda]: a Calculus with Overloading and Late-binding.

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

Keyphrases

algebraic structure
formal semantics
formal language
database query languages
lambda calculus
relational calculus
semantic information
logical framework
process algebra
logic programming
metadata
relational databases
expressive power
relational algebra
default reasoning
computational properties