Table of Contents

The programming language core; the abstraction principle; the parameterization and correspondence principles; the qualification principle; records and lambda abstractions; the lambda calculus; functional programming languages; higher-ordered typed lambda calculi; propositional-logic typing; predicate-logic typing.