PostScript version of this text is available

classnote 10

Brian Willem

September 19, 1994

• Set Theoretic Approach to Inductive Types
  • Monotone Operators
  • Iterative Definition of Inductive Types
  • Equality of Recursive and Set Based Approaches
• Why?!: Concluding Remarks
• About this document ...