Axiomatizing Permutation Equivalence in the Lambda-Calculus.

Cosimo Laneve Ugo Montanari

Published in: ALP (1992)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
first order logic
complex objects
databases
database systems
data structure
expert systems
data model
software systems
expressive power