Picture for Adam Vandervorst

Adam Vandervorst

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
Viaarxiv icon