Barbanera, F., & Dezani-Ciancaglini, M. (2024). Global-Types-Composition (Version 1.0) [Computer software]. https://github.com/francobarbanera/Global-Types-Composition/tree/main