Novel rules of β-conversion in partial type theory Download Version Download 47 File Size 350.09 KB File Count 1 Create Date 8 June 2021 Last Updated 8 June 2021 Novel rules of β-conversion in partial type theory Jiřı́ Raclavský and Petr Kuchyňka
Leave a Comment