TY  - RPRT
TI  - Structural Rules and Algebraic Properties of Intersection Types
AU  - Sandra Alves
AU  - Mário Florido
PY  - 2022
UR  - https://arxiv.org/abs/2204.12376
ID  - 2204.12376
ER  -