maths 7
- 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#?