7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.LO2022
Towards a Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Stefan Milius, Lutz Schröder +2
Compositionality proofs in higher-order languages are notoriously involved, and general semantic frameworks guaranteeing compositionality are hard to come by. In particular, Turi a…
math.MG2006★ 7 cited
Linearizability of Non-expansive Semigroup Actions on Metric Spaces
Lutz Schröder
We show that a non-expansive action of a topological semigroup S on a metric space X is linearizable iff its orbits are bounded. The crucial point here is to prove that X can be ex…