@misc{indiciae1cc31cd8b42b, title = {Representing Guardedness in Call-by-Value and Guarded Parametrized Monads}, author = {Sergey Goncharov}, year = {2026}, doi = {10.46298/lmcs-22(1:9)2026}, url = {https://arxiv.org/abs/2403.00704}, note = {Source identifier: 2403.00704} }