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

• About this document ...