- Type Theory
- Type theory is the study of types.
- A type has normal form
- A type describes a set of possible values
- A type is the same as another type if they share a normal form
- The normal form of an expression is determined by the type of the expression