TY  - RPRT
TI  - A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
AU  - Jonathan Warrell
AU  - Alexey Potapov
AU  - Adam Vandervorst
AU  - Ben Goertzel
PY  - 2022
UR  - https://arxiv.org/abs/2203.15970
ID  - 2203.15970
ER  -