jcreed blog
jcreedcmu.github.io
A personal blog publishing dated posts on type theory, parametricity, proof irrelevance, and mathematical topics such as opetopes, braids, and graph geometry.
A personal blog with original technical essays on type theory, parametricity, and geometric topics like braids and opetopes, posted regularly over several years.
Checked with Google Web Risk · 3 hours ago
- language
- EN
- here since
- August 2026