TY  - RPRT
TI  - An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
AU  - Ohad Kammar
AU  - Jack Liell-Cock
AU  - Sam Lindley
AU  - Cristina Matache
AU  - Sam Staton
PY  - 2026
UR  - https://arxiv.org/abs/2602.05850
ID  - 2602.05850
ER  -