2 citations · 3 across the 3 of their papers we have counts for
4 papers · 1 filter
Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
Crubillé Raphaëlle
We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs a…
On Higher-Order Cryptography (Long Version)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
Type-two constructions abound in cryptography: adversaries for encryption and authentication schemes, if active, are modeled as algorithms having access to oracles, i.e. as second-…
Probabilistic Stable Functions on Discrete Cones are Power Series (long version)
Raphaëlle Crubillé
We study the category Cstabm of measurable cones and measurable stable functions, which is a denotational model of an higher-order language with continuous probabilities and full r…
Metric Reasoning about -Terms: the Affine Case (Long Version)
Raphaëlle Crubillé, Ugo Dal Lago
Terms of Church's -calculus can be considered equivalent along many different definitions, but context equivalence is certainly the most direct and universally accepted one. If…