Eliminating Infinitary Induction-induction Download Version Download 57 File Size 259.18 KB File Count 1 Create Date 8 June 2021 Last Updated 8 June 2021 Eliminating Infinitary Induction-induction Filippo Sestini and Thorsten Altenkirch
Leave a Comment