PostScript version of text is available.

Class notes 19

Chi-Chao Chang

October 12, 1994

• Plan
• Natural Semantics
  • Lazy or Normal Evaluation
  • Example
  • Semantics Theorem
• Equivalence of Reduction and Natural Semantics
• About this document ...