Refining Reduction in the Lambda Calculus.

Fairouz Kamareddine Rob Nederpelt

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

Keyphrases

lambda calculus
programming language
higher order
program understanding
database query languages
complex objects
artificial intelligence
knowledge base