Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel. A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems. In Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov, editors, Artificial General Intelligence - 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings. Volume 13539 of Lecture Notes in Computer Science, pages 434-451, Springer, 2022. [doi]
Abstract is missing.