Research

Manuscripts

Nothing here right now…

Accepted works

Nothing here right now…

Published works

1. Goncharov, S., Peressotti, M., Tsampas, S., Urbat, H., Volpe, S.: Towards a Higher-Order Bialgebraic Denotational Semantics, https://doi.org/10.1145/3828693, (2026) [preprint, slides (CMCS2026), Hayagriva, BibTeX]