Crubillé, Raphaëlle

1. Metric Reasoning about λ-Terms: the Affine Case (Long Version)
   2015/05/14 by Raphaëlle Crubillé, Ugo Dal Lago, Crubillé, Raphaëlle +1 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.LO
2. 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 #cs.LO
3. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
   2020/02/19 by Gilles Barthe, Raphaëlle Crubillé, Barthe, Gilles +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) #cs.PL
4. On Feller Continuity and Full Abstraction (Long Version)
   2022/07/21 by Gilles Barthe, Barthe, Gilles, Raphaëlle Crubillé +5 · 2 citations
   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)