blog-img

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

author-img
By Greg Kuebler Jul 15, 2024

Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel

Stay Updated!

Get the latest insights, news, and updates.