-
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).
- 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