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

Add code
Mar 30, 2022
Figure 1 for A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
Figure 2 for A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: