Label-Selective lambda-Calculus Syntax and Confluence.

Hassan Aït-Kaci Jacques Garrigue

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

Keyphrases

lambda calculus
predicate calculus
programming language
formal model
first order logic
semantic network
theorem proving
predicate logic
general purpose
complex objects
theorem prover
database query languages
expressive power
high level
higher order
program understanding
query language