Label-Selective lambda-Calculus Syntax and Confluence.

Hassan Aït-Kaci Jacques Garrigue

Published in: FSTTCS (1993)

Keyphrases

lambda calculus
predicate calculus
formal model
programming language
first order logic
theorem proving
semantic network
predicate logic
program understanding
complex objects
database query languages
artificial intelligence
pairwise
co occurrence
data management
theorem prover