lambda-calculus
1. references
- The mechanical evaluation of expressions:
- Shows how various mathematical concepts can be rendered in -calculus notation. Also defines the SECD machine, an abstract machine that serves as a compilation target for “applicative expressions”, which are essentially -calculus terms with a few mathematical primitives.
- A Correspondence Between ALGOL 60 and Church's Lambda-Notation:
- The first published description of the connection between -calculi and a pre-existing real-world programming languages.