Unintentional Type Theory

(ncatlab.org) by measurablefunc | Dec 24, 2025 | 0 comments on HN