Mathematics and Computation
math.andrej.com
A blog exploring the intersection of mathematics and computation, featuring posts on constructive mathematics, type theory, and programming languages.
Andrej Bauer's long-running blog explores the intersection of mathematics and computation, with posts on constructive mathematics, type theory, and programming. It suits readers interested in deep, technical writing that connects abstract math with concrete computing. The site is a personal endeavor, offering original insights and steady updates over many years.
Checked with Google Web Risk · 16 hours ago
- language
- EN
- here since
- July 2026