TY  - RPRT
TI  - Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
AU  - Yotam Dvir
AU  - Ohad Kammar
AU  - Ori Lahav
AU  - Gordon Plotkin
PY  - 2025
DO  - 10.1007/978-3-031-90897-2_18
UR  - https://arxiv.org/abs/2501.15104
ID  - 2501.15104
ER  -