Home
Posts Tagged ‘Maths’
Geometric Type Theory, Done Two Ways
June 16, 2026
Linear/Nonlinear Logic and Linear Algebra
May 29, 2025
Effective Algebraic Topology in Haskell
September 22, 2022