Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne. Global types with internal delegation. Theoretical Computer Science, 807:128-153, 2020. [doi]
@article{CastellaniDGH20, title = {Global types with internal delegation}, author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini and Ross Horne}, year = {2020}, doi = {10.1016/j.tcs.2019.09.027}, url = {https://doi.org/10.1016/j.tcs.2019.09.027}, researchr = {https://researchr.org/publication/CastellaniDGH20}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {807}, pages = {128-153}, }