A Unifying Semantics for Markov Kernels and Linear Operators

PHA de Amorim - 2023 - search.proquest.com
A UNIFYING SEMANTICS FOR MARKOV KERNELS AND LINEAR OPERATORS Page 1 A
UNIFYING SEMANTICS FOR MARKOV KERNELS AND LINEAR OPERATORS A Dissertation …

A UNIFYING SEMANTICS FOR MARKOV KERNELS AND LINEAR OPERATORS

PH Azevedo de Amorim - 2023 - ecommons.cornell.edu
There has been much work done in developing semantic structures for interpreting
probabilistic programs. In particular, there have been many models based either on Markov …