A linearization of the Lambda-calculus and consequences.

Published in: J. Log. Comput. (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
complex objects
artificial intelligence
first order logic
database query languages
database
case study
relational databases
object oriented
higher order
open source
incomplete information
formal model