@misc{indiciaee1a760bc3903,
  title = {Layered Modal Type Theories},
  author = {Jason Z. S. Hu and Brigitte Pientka},
  year = {2024},
  url = {https://arxiv.org/abs/2305.06548},
  note = {Source identifier: 2305.06548}
}