research
∙
12/05/2022
Integration in Cones
Measurable cones, with linear and measurable functions as morphisms, are...
research
∙
09/19/2022
A first-order completeness result about characteristic Boolean algebras in classical realizability
We prove the following completeness result about classical realizability...
research
∙
04/13/2021
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
We describe a mathematical structure that can give extensional denotatio...
research
∙
05/29/2018