First-Order Constrained Lambda Calculus.

John N. Crossley Luis Mandel Martin Wirsing

Published in: FroCoS (1996)

Keyphrases

lambda calculus
predicate calculus
programming language
higher order
first order logic
database query languages
theorem proving
complex objects
semantic network
artificial intelligence
expert systems
data management
integrity constraints
formal model
program understanding