Login / Signup
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