2 citations · 3 across the 2 of their papers we have counts for
4 papers
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago +1
Logical relations are one of the most powerful techniques in the theory of programming languages, and have been used extensively for proving properties of a variety of higher-order…
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…