A Convenient Category for Higher-Order Probability Theory

Open in new window