Some results on extensionality in lambda calculus.

Benedetto Intrigila Richard Statman

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
general purpose
database
high level
complex objects
databases
relational databases
query language