Skip to content

Literature – Idempotents in Intensional Type Theory #7600

Literature – Idempotents in Intensional Type Theory

Literature – Idempotents in Intensional Type Theory #7600