Universal equivalence and majority of probabilistic programs over finite fields.

Gilles Barthe, Charlie Jacomme, Steve Kremer

Browse the full LICS paper archive.