@misc{indiciae2bfbe9091824,
  title = {Intersection Type Distributors},
  author = {Federico Olimpieri},
  year = {2021},
  url = {https://arxiv.org/abs/2002.01287},
  note = {Source identifier: 2002.01287}
}