Research

Manuscripts

Nothing here yet…

Accepted works

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

Published works

Nothing here yet…