@misc{indiciae636c2cbefb1f,
  title = {Modeling Reachability Types with Logical Relations},
  author = {Yuyan Bao and Songlin Jia and Guannan Wei and Oliver Bračevac and Tiark Rompf},
  year = {2025},
  url = {https://arxiv.org/abs/2309.05885},
  note = {Source identifier: 2309.05885}
}