- Interpreting De Finetti's Theorem in the Category of Integrable Cones. R.Crubillé, LICS 2026.
- Symbolic protocol verification with dice. V.Cheval, R.Crubillé and S.Kremer: J. Comput. Secur, 2023.
- On Feller continuity and full abstraction. G.Barthe, R.Crubillé, U.Dal Lago and F.Gavazzo: Proc. ICFP, 2022.
(long version)
- Symbolic protocol verification with dice: process equivalences in the presence of probabilities. V.Cheval, R.Crubillé, and S.Kremer, CSF 2022.
- On the versatility of open
logical relations - continuity, automatic differentiation, and a containment theorem. G. Barthe, R. Crubillé, U. D. Lago, and F. Gavazzo. ESOP, 2020.
(long version).
- On higher-order cryptography. B. Barak, R. Crubillé, and U. D. Lago, ICALP, 2020.
(long version).
-
Probabilistic stable functions on discrete cones are power series. Raphaëlle Crubillé. LICS 2018.
(long version).
-
Metric Reasoning About λ-Terms: The General Case. Raphaëlle Crubillé, Ugo Dal Lago. ESOP 2017
(long version).
-
The Free Exponential Modality of Probabilistic Coherence Spaces.
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson.
FoSSaCS 2017
-
On Applicative Similarity, Sequentiality, and Full Abstraction.
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli.
Correct System Design 2015.
-
Metric Reasoning about λ-Terms: The Affine Case.
Raphaëlle Crubillé, Ugo Dal Lago. LICS 2015
(long version).
-
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.
Raphaëlle Crubillé, Ugo Dal Lago. ESOP 2014.
(long version).
- February 5, 2026. Chocola Seminar,
De Finetti Theorem and Models of Linear Logic
- Oct, 2024. Dagstuhl Seminar on Behavioural Metrics and Quantitative Logics,
Context Distances for Probabilistic Higher-Order Languages
- December 18, 2020, LIPN Seminar,
On higher-order cryptography
- Janvier 21, 2020, Comete (LIX) Seminar,
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
- June 29-30, 2019, TLLA invited talk,
Stable semantics of probabilistic higher-order programs
- Oct. 23, 2017, Second General Meeting of GDRI-LL,
The free exponential modality of probabilistic coherence spaces
- June 13.2017,
REPAS (REliable and Privacy-Aware Software systems) Workshop,
Toward Higher-order Cryptography.
- Jan. 14, 2016, Curry Howard: Logic and Computation, Metric reasoning about lambda-terms
- Mar. 24, 2015, Groupe de travail Sémantique,
Metric reasoning about lambda-terms : the affine case