@misc{indiciae087732e06ebd,
  title = {Non-idempotent intersection types in logical form},
  author = {Thomas Ehrhard},
  year = {2019},
  url = {https://arxiv.org/abs/1911.01899},
  note = {Source identifier: 1911.01899}
}