TY  - RPRT
TI  - Elaborating Intersection and Union Types
AU  - Jana Dunfield
PY  - 2020
DO  - 10.1017/s0956796813000270
UR  - https://arxiv.org/abs/1206.5386
ID  - 1206.5386
ER  -