@article{Castellani_2020,
    doi = {10.1016/j.tcs.2019.09.027},
    url = {https://doi.org/10.1016%2Fj.tcs.2019.09.027},
    year = {2020},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {807},
    pages = {128--153},
    author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini and Ross Horne},
    title = {Global types with internal delegation},
    journal = {Theoretical Computer Science}
}

@article{Castellani_2020, doi = {10.1016/j.tcs.2019.09.027}, url = {https://doi.org/10.1016%2Fj.tcs.2019.09.027}, year = {2020}, month = {feb}, publisher = {Elsevier {BV}}, volume = {807}, pages = {128--153}, author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini and Ross Horne}, title = {Global types with internal delegation}, journal = {Theoretical Computer Science} }