Raphaëlle Crubillé

1. On Probabilistic Applicative Bisimulation and Call-by-Value\n \λ-Calculi (Long Version)
   2014/01/15 by Raphaëlle Crubillé, Ugo Dal Lago, Crubille, Raphaelle +1 · 1 citation
   Computer Science · #F.1.2 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Metric Reasoning about \λ-Terms: the Affine Case (Long Version)
   2015/05/14 by Raphaëlle Crubillé, Crubillé, Raphaëlle, Ugo Dal Lago +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Bayesian Modeling and Causal Inference
3. Probabilistic Stable Functions on Discrete Cones are Power Series (long version)
   2018/05/01 by Raphaëlle Crubillé, Crubillé, Raphaëlle · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematical Control Systems and Analysis
4. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
   2020/02/19 by Gilles Barthe, Barthe, Gilles, Raphaëlle Crubillé +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
5. On Feller Continuity and Full Abstraction (Long Version)
   2022/07/21 by Gilles Barthe, Raphaëlle Crubillé, Barthe, Gilles +5 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)