TY  - RPRT
TI  - Initial Algebra Correspondence under Reachability Conditions
AU  - Mayuko Kori
AU  - Kazuki Watanabe
AU  - Jurriaan Rot
PY  - 2025
UR  - https://arxiv.org/abs/2505.09132
ID  - 2505.09132
ER  -