@misc{indiciae66c23d561341,
  title = {Encoding Tight Typing in a Unified Framework},
  author = {Delia Kesner and Andrés Viso},
  year = {2021},
  url = {https://arxiv.org/abs/2105.00564},
  note = {Source identifier: 2105.00564}
}