ML Anthology

Spada, Luca

1 publications

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