- Homotopy Type Theory Univalent Foundations of Mathematics
- Sheaves in Geometry and Logic
- An Introduction to Homological Algebra
- Computational Category Theory
- Introduction to Higher-Order Categorical Logic
- A Course in Mathematical Logic for Mathematicians
- An Introduction to Proof Theory
- Interactive Models of Computation and Program Behavior
- Temporal Logic and State Systems
- Time and Relational Theory Temporal Databases in the Relational Model and SQL
- Formal Models of Operating System Kernels
- Formal Methods for Software Engineering
- Foundations of Algebraic Specification and Formal Software Development