■ Type Theory

BACKGROUND CONCEPTS Abstract concepts in computation (Section 2.4); Data structure concepts (Section 2.3); Discrete structures concepts (Section 2.2); Boolean logic and predicate calculus (Section 2.2.2), data abstractions (Section 4.1).