Nonmodularity Results for Lambda Calculus.

Antonino Salibra

Published in: Fundam. Informaticae (2001)

Keyphrases

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