@article{BANERJEE_2003,
    doi = {10.1017/s0960129502003845},
    url = {https://doi.org/10.1017%2Fs0960129502003845},
    year = {2003},
    month = {feb},
    publisher = {Cambridge University Press ({CUP})},
    volume = {13},
    number = {1},
    pages = {87--124},
    author = {ANINDYA BANERJEE and THOMAS JENSEN},
    title = {Modular control-flow analysis with rank 2 intersection types},
    journal = {Mathematical Structures in Computer Science}
}

@article{BANERJEE_2003, doi = {10.1017/s0960129502003845}, url = {https://doi.org/10.1017%2Fs0960129502003845}, year = {2003}, month = {feb}, publisher = {Cambridge University Press ({CUP})}, volume = {13}, number = {1}, pages = {87--124}, author = {ANINDYA BANERJEE and THOMAS JENSEN}, title = {Modular control-flow analysis with rank 2 intersection types}, journal = {Mathematical Structures in Computer Science} }