@misc{indiciae8232687d32ee,
  title = {Tight Typings and Split Bounds},
  author = {Beniamino Accattoli and Stéphane Graham-Lengrand and Delia Kesner},
  year = {2018},
  url = {https://arxiv.org/abs/1807.02358},
  note = {Source identifier: 1807.02358}
}