...in logic and computer science.
The paper describes the history of the lambda calculus, and several of its uses. Along the way it discusses important notions like computability and classifies functional programming languages.
The paper also covers the use of lambda calculus for computer based proofs and reasoning.
Posted to LC by Ehud Lamm on 3/8/01; 11:20:41 AM