@misc{indiciaeb179b69889b9, title = {A model for the coherent walking \$ω\$-equivalence}, author = {Amar Hadzihasanovic and Félix Loubaton and Viktoriya Ozornova and Martina Rovelli}, year = {2024}, url = {https://arxiv.org/abs/2404.14509}, note = {Source identifier: 2404.14509} }