Unintentional Type Theory

(ncatlab.org) by danny00 | Oct 10, 2026 | 0 comments on HN