TY  - RPRT
TI  - Transitivity of Subtyping for Intersection Types
AU  - Jeremy G. Siek
PY  - 2020
UR  - https://arxiv.org/abs/1906.09709
ID  - 1906.09709
ER  -