@article{rijke-2020-modalities, title={Modalities in homotopy type theory}, volume={Volume 16, Issue 1}, ISSN={1860-5974}, url={http://dx.doi.org/10.23638/lmcs-16(1:2)2020}, DOI={10.23638/lmcs-16(1:2)2020}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Rijke, Egbert and Shulman, Michael and Spitters, Bas}, year={2020}, month=Jan }