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 [PDF, Hayagriva, BibTeX]

Published works

Nothing here yet…

Theoretical Computer Scientists for Future
No Free View? No Review!