Publication:2968414
From MaRDI portal
DOI10.4230/LIPIcs.TYPES.2013.129zbMath1359.03014MaRDI QIDQ2968414
Mariangiola Dezani-Ciancaglini, Ines Margaria, Mario Coppo, Maddalena Zacchi
Publication date: 13 March 2017
Related Items