Timany, AminAminTimanyStefanesco, LéoLéoStefanescoKrogh-Jespersen, MortenMortenKrogh-JespersenBirkedal, LarsLarsBirkedal2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31951A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runSTProceedings paperhttps://doi.org/10.1145/3158152