TY  - RPRT
TI  - Uniqueness typing for intersection types
AU  - Richard Statman
AU  - Andrew Polonsky
PY  - 2021
UR  - https://arxiv.org/abs/2105.02352
ID  - 2105.02352
ER  -