Functions Over Free Algebras Definable in the Simply Typed lambda Calculus.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
first order logic
higher order
program understanding
complex objects
expressive power
formal model
artificial intelligence
transitive closure
predicate logic
general purpose
knowledge representation
expert systems
data structure