2 papers
cs.LO2026
Safety, Relative Tightness and the Probabilistic Frame Rule
Janez Ignacij Jereb, Alex Simpson
Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing indep…
math.CT2025
Euclidean interval objects in categories with finite products
Martin Escardo, Alex Simpson
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures correspo…