Report copyright - Calculational HoTT International Conference on Homotopy ... · Afew initialwords Briefdescriptionof CL The problem Deductive chains Calculational HoTT Adeduction Conclusions Presentation
Please pass captcha verification before submit form