The semantic structure of quasi-Borel spaces
Higher-order functions — functions that take functions as arguments — are incredibly useful as a programming abstraction. But what does a higher-order probabilistic program actually mean? We are used to thinking of program functions as mathematical functions, but does this … Continue reading
Posted in Uncategorized
Comments Off on The semantic structure of quasi-Borel spaces