SUMMARY.md

目錄

• 1 Introduction
• 2 Mathematical Preliminaries
• I Untyped Systems
  • 3 Untyped Arithmetic Expressions
  • 4 An ML Implementation of Arithmetic Expressions
  • 5 The Untyped Lambda-Calculus
  • 6 Nameless Representation of Terms
  • 7 An ML Implementation of the Lambda-Calculus