@misc{indiciae630e056e7013,
  title = {Modal Dependent Type Theory and Dependent Right Adjoints},
  author = {Lars Birkedal and Ranald Clouston and Bassel Mannaa and Rasmus Ejlers Møgelberg and Andrew M. Pitts and Bas Spitters},
  year = {2019},
  doi = {10.1017/s0960129519000197},
  url = {https://arxiv.org/abs/1804.05236},
  note = {Source identifier: 1804.05236}
}