@misc{indiciaef1eaf41bb7f5,
  title = {Polarized Subtyping},
  author = {Zeeshan Lakhani and Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
  year = {2022},
  url = {https://arxiv.org/abs/2201.10998},
  note = {Source identifier: 2201.10998}
}