Report copyright - Cubical Syntax for Reflection-Free Extensional Equality · Reflection-Free Extensional Equality FSCD2019 JonathanSterling1 CarloAngiuli1 DanielGratzer2 1CarnegieMellonUniversity
Please pass captcha verification before submit form
Please pass captcha verification before submit form