@misc{indiciae8cf6440d5900,
  title = {Linear Rank Intersection Types},
  author = {Fábio Reis and Sandra Alves and Mário Florido},
  year = {2023},
  url = {https://arxiv.org/abs/2211.17186},
  note = {Source identifier: 2211.17186}
}