Login / Signup
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems.
Jonathan Warrell
Alexey Potapov
Adam Vandervorst
Ben Goertzel
Published in:
CoRR (2022)
Keyphrases
</>
programming language
strongly typed
general purpose
object oriented
logic programming
operating system
expert systems
software engineering
computer systems
high level
programming environment
specification language