@misc{indiciaee21ce7f130ad,
  title = {Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics},
  author = {Yotam Dvir and Ohad Kammar and Ori Lahav and Gordon Plotkin},
  year = {2025},
  doi = {10.1007/978-3-031-90897-2\_18},
  url = {https://arxiv.org/abs/2501.15104},
  note = {Source identifier: 2501.15104}
}