Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
Browse the full CONCUR paper archive.