by Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)

by Aceto, Luca, Gorla, Daniele, Lybech, Stian
Year of Publication 20.11.2024

by Moon, David, Blinn, Andrew, Porter, Thomas J, Omar, Cyrus
Year of Publication 23.08.2025

by Baramashetru, Chinmayi Prabhu, Giannini, Paola, Tarifa, Silvia Lizeth Tapia, Owe, Olaf
Year of Publication 05.08.2025

by Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Year of Publication 14.04.2025

by Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Year of Publication 22.04.2025

by Arranz-Olmos, Santiago, Barthe, Gilles, Blatter, Lionel, van der Wall, Sören, Zhang, Zhiyuan
Year of Publication 07.01.2025

by Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti
Published in Logical methods in computer science (05.09.2018)

by Cimini, Matteo
Year of Publication 02.08.2024

by Kokke, Wen, Dardha, Ornela
Published in Logical methods in computer science (01.01.2023)

by Spanò, Alvise
Year of Publication 17.06.2024

by Radtke, Pawel K, Weinzierl, Tobias
Year of Publication 21.05.2024

by Brun, Matthew Alan Le, Dardha, Ornela
Year of Publication 24.04.2024

by Bansal, Ayush, Subramanyan, Pramod, Nandakumar, Satyadev
Year of Publication 06.12.2023

by Brun, Matthew Alan Le, Dardha, Ornela
Year of Publication 25.01.2023

by Bernauer, Alexander, Eisenberg, Richard A
Year of Publication 11.09.2022

by Liu, Yanhong A, Stoller, Scott D, Tong, Yi, Lin, Bo, Tekle, K. Tuncay
Year of Publication 30.05.2022

by Levy, Paul Blain, Rogers, Morgan
Year of Publication 16.04.2025

by Hyvernat, Pierre
Year of Publication 11.08.2025

by Brotherston, James, Le, Quang Loc, Desai, Gauri, Oda, Yukihiro
Year of Publication 19.04.2025