Rule-Based Semantics for an Extended Lambda-Calculus.

György E. Révész

Published in: MFPS (1987)

Keyphrases

lambda calculus
database query languages
predicate calculus
programming language
expert systems
higher order
complex objects
formal model
query language
relational model
program understanding