On the preciseness of subtyping in session types: 10 years later (Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024)

(untitled) - Chen, T-C; Dezani, M; Yoshida, N