Rapha\"elle Crubill\'e

Identifiers

No identifiers captured yet.

Papers (3)

1. Probabilistic Stable Functions on Discrete Cones are Power Series (long version) cs.LO · 2018 · author #1
2. Metric Reasoning About $\lambda$-Terms: The General Case (Long Version) cs.LO · 2017 · author #1
3. Metric Reasoning about $\lambda$-Terms: the Affine Case (Long Version) cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ugo Dal Lago 2 shared papers