ML Anthology

Napolitano, Sebastiano

1 publications

ISIPTA 2023 The Logic FP(Ł,Ł) and Two-Sorted Equational States Serafina Lapenta, Sebastiano Napolitano, Luca Spada