_Modalities in homotopy type theory_. [[Egbert Rijke]], [[Michael Shulman]], [[Bas Spitters]]. ## Links ## [arXiv:1706.07526](https://arxiv.org/abs/1706.07526)