45 citations · 237 across the 53 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Bialgebraic Reasoning on Stateful Languages
Sergey Goncharov, Stefan Milius, Lutz Schröder +2
Reasoning about program equivalence in imperative languages is notoriously challenging, as the presence of states (in the form of variable stores) fundamentally increases the obser…
cs.PL2023
Weak Similarity in Higher-Order Mathematical Operational Semantics
Henning Urbat, Stelios Tsampas, Sergey Goncharov +2
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness p…