TY  - RPRT
TI  - Linear Rank Intersection Types
AU  - Fábio Reis
AU  - Sandra Alves
AU  - Mário Florido
PY  - 2023
UR  - https://arxiv.org/abs/2211.17186
ID  - 2211.17186
ER  -