On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Browse the full PPDP paper archive.