maths 9
- Type Theory Part IV: Monads
- Variance for People in a Hurry
- Type Theory Part III: Verifying Formal Specifications
- Type Theory Part II: Proving Natural Addition Commutes from First Principles
- Type Theory Part I: Introduction to Type Theory
- A Hypothetical New Mathematical Field
- Halmos' Set Theory: a Review
- Ranking My Subjects
- What is the 'Co' in 'Covariant' in C#?