TY  - RPRT
TI  - Intersection types for unbind and rebind
AU  - Mariangiola Dezani-Ciancaglini
AU  - Paola Giannini
AU  - Elena Zucca
PY  - 2011
DO  - 10.4204/eptcs.45.4
UR  - https://arxiv.org/abs/1101.4426
ID  - 1101.4426
ER  -