TY  - RPRT
TI  - Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
AU  - Sergey Goncharov
PY  - 2026
DO  - 10.46298/lmcs-22(1:9)2026
UR  - https://arxiv.org/abs/2403.00704
ID  - 2403.00704
ER  -