Raphalle Crubill
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Interpreting De Finetti's Theorem in the Category of Integrable Cones. | Raphalle Crubill |
| 2020 | ESOP | On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. | Gilles Barthe, Raphalle Crubill, Ugo Dal Lago, Francesco Gavazzo |
| 2020 | ICALP | On Higher-Order Cryptography. | Boaz Barak, Raphalle Crubill, Ugo Dal Lago |
| 2018 | LICS | Probabilistic Stable Functions on Discrete Cones are Power Series. | Raphalle Crubill |
| 2017 | ESOP | Metric Reasoning About \lambda -Terms: The General Case. | Raphalle Crubill, Ugo Dal Lago |
| 2017 | FOSSACS | The Free Exponential Modality of Probabilistic Coherence Spaces. | Raphalle Crubill, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2015 | LICS | Metric Reasoning about λ-Terms: The Affine Case. | Raphalle Crubill, Ugo Dal Lago |
| 2014 | ESOP | On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. | Raphalle Crubill, Ugo Dal Lago |