Report - Modalities in homotopy type theory - arXiv · dependent modal type theory is now a ourishing eld with this and many other applications; see [dPGM04] for an overview. In this paper

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form