Residual Theory in lambda-Calculus: A Formal Development.

Gérard P. Huet

Published in: J. Funct. Program. (1994)

Keyphrases

lambda calculus
case study
artificial intelligence
data model
knowledge based systems
knowledge representation
software engineering
design process
knowledge sources