TY  - RPRT
TI  - Resource control and intersection types: an intrinsic connection
AU  - S. Ghilezan
AU  - J. Ivetic
AU  - P. Lescanne
AU  - S. Likavec
PY  - 2014
UR  - https://arxiv.org/abs/1412.2219
ID  - 1412.2219
ER  -