Research

Preprints

1. Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe. 2026. Towards a Higher-Order Bialgebraic Denotational Semantics. Retrieved from https://arxiv.org/abs/2602.18295 [preprint, slides (CMCS2026), Hayagriva, BibTeX]

Published works

Nothing here yet…