PostScript version of this file is available.

Class notes 11

Grzegorz Czajkowski

September 21, 1994

Plan:

1. mentioning ordinals;
2. review of - primitive recursive types: formation, members, induction;
3. adding "" type to ;
4. introducing co-inductive types.

• Ordinals
• Set-based mappings
• Primitive recursion
• Introducing function types to our system
• Co-inductive types
• About this document ...