Posts

2026-04-25 Products, Exponentials, and Adjoint Functors

2026-04-08 Equality in Type Theory

2026-03-08 Why is it called Call-By-Push-Value?

2025-07-26 Semantics

2025-05-23 What even is type theory?

2025-05-21 MU Puzzle in Automated Theorem Provers