Streams of Approximations, Equivalence of Recursive Effectful Programs.

Niccol Veltri, Niels F. W. Voorneveld

Browse the full MPC paper archive.