Higher-Order Probability Theory on Interval Domain

Date:

This talk presented a correct and adequate model for probabilistic PCF extended with partial real numbers using omega quasi-Borel spaces and interval integration monad, with future work in proving the model is also fully abstract.

Slides