Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel: A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems. AGI 2022: 434-451