Understanding Type Theory Eliminators

(zenodo.org) by DPDmancul | Jun 8, 2026 | 1 comments on HN