Sign in
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:
AGI (2022)
Keyphrases
</>
programming language
strongly typed
general purpose
object oriented
programming environment
high level
databases
computer systems
program code
denotational semantics
expert systems
software engineering
logic programming
computer programs
database languages