Next: About this document
CS486 Spring 1997
Lecture 24 Tuesday, April 22, 1997
- Review
- inductive types (notation
- induction principle
- Type Theory
- explicit concrete data: numbers, pairs, injections
- explicit computation: reduction rules, canonical vs noncanonical data
- abstract data: functions, types