The following pages link to Raphaëlle Crubillé (Q2988357):
Displaying 7 items.
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- On Applicative Similarity, Sequentiality, and Full Abstraction (Q3449626) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Probabilistic Stable Functions on Discrete Cones are Power Series (Q5145300) (← links)
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Q5410701) (← links)
