@misc{indiciaefb1708925e39,
  title = {An Investigation of Kripke-style Modal Type Theories},
  author = {Jason Z. S. Hu and Brigitte Pientka},
  year = {2023},
  url = {https://arxiv.org/abs/2206.07823},
  note = {Source identifier: 2206.07823}
}