Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Browse the full CONCUR paper archive.