The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. Programming Language Foundations, surveys the theory of programming languages, including operational semantics, Hoare logic, and static type systems.