PostScript version of this text is available.

Class notes 13

Nawaaz Ahmed

September 26, 1994

• Plan
• Remarks on -inductive types
• An example Stream Implementation
  • Implementation of stream_cons
  • Exercise
• Classification of Mathematics studied so far
• Preview of -Calculus
• About this document ...