Niccolò Veltri, Niels F. W. Voorneveld. Streams of Approximations, Equivalence of Recursive Effectful Programs. In Ekaterina Komendantskaya, editor, Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Volume 13544 of Lecture Notes in Computer Science, pages 198-221, Springer, 2022. [doi]
Abstract is missing.