A Predicate/State Transformer Semantics for Bayesian Learning

Bart Jacobs 0001, Fabio Zanasi. A Predicate/State Transformer Semantics for Bayesian Learning. Electronic Notes in Theoretical Computer Science, 325:185-200, 2016. [doi]

Authors

Bart Jacobs 0001

This author has not been identified. Look up 'Bart Jacobs 0001' in Google

Fabio Zanasi

This author has not been identified. Look up 'Fabio Zanasi' in Google