Foundations of session types.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Browse the full PPDP paper archive.