Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne. Global types with internal delegation. Theoretical Computer Science, 807:128-153, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.