X-Separability and Left-Invertibility in lambda-calculus

Corrado Böhm Enrico Tronci

Published in: LICS (1987)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
general purpose
complex objects
higher order
databases
knowledge base
object oriented
software engineering
open source
incomplete information