In this paper, my first collaboration with Ross Horne, we study a termination-preserving notion of subtyping for session types in a logical setting, where session types are propositions of μMALL∞, that is multiplicative/additive linear logic extended with least and greatest fixed points. We are amused by how simple it is to characterize subtyping in this logic! The paper has been presented at the PLACES 2023 workshop (slides here), whose open-access proceedings are available online.
I’m happy to be a programme committee member of the International Conference on Types for Proofs and Programs (TYPES 2023) for the second year in a row. Check the call for papers for details about submissions and deadlines.
It was a great pleasure to deliver an invited talk at the Forum Numerica seminar series today. You can find the slides in the talks section of this site.
I'm an associate professor in Computer Science at the Computer Science Division of the School of Science and Technology of the University of Camerino. My research interests span both theory and practice in the areas of programming languages, type systems, concurrency theory, distributed computing and formal verification.