Login / Signup
A Calculus of Lambda Calculus Contexts.
Mirna Bognar
Roel C. de Vrijer
Published in:
J. Autom. Reason. (2001)
Keyphrases
</>
lambda calculus
database query languages
programming language
predicate calculus
program understanding
query language
higher order
high level
expert systems
software maintenance
database systems
software systems
relational model
reverse engineering
type checking