Gilles Barthe, Charlie Jacomme, Steve Kremer. Universal equivalence and majority of probabilistic programs over finite fields. In Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. pages 155-166, ACM, 2020. [doi]
Abstract is missing.