@misc{indiciae8b12125c481f, title = {An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories}, author = {Ohad Kammar and Jack Liell-Cock and Sam Lindley and Cristina Matache and Sam Staton}, year = {2026}, url = {https://arxiv.org/abs/2602.05850}, note = {Source identifier: 2602.05850} }