Shape-irrelevant reflection: Terminating extensional type theory Download Version Download 86 File Size 62.39 KB File Count 1 Create Date 8 June 2021 Last Updated 8 June 2021 Shape-irrelevant reflection: Terminating extensional type theory Théo Winterhalter
Leave a Comment