REPRESENTING GUARDEDNESS IN CALL-BY-VALUE AND GUARDED PARAMETERIZED MONADS. - GONCHAROV, SERGEY (Logical Methods in Computer Science (LMCS), 2026)