@article{lmcs:815, title = {Measure Transformer Semantics for Bayesian Machine Learning}, author = {Johannes Borgström and Andrew D Gordon and Michael Greenberg and James Margetson and Jurgen Van Gael}, url = {https://lmcs.episciences.org/815}, doi = {10.2168/LMCS-9(3:11)2013}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 9, Issue 3}, eid = 11, year = {2013}, month = {Sep}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages}, }