Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Raphaëlle Crubillé
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
ICFP 2026 profile
Not registered as user
Name:
Raphaëlle Crubillé
Affiliation:
CNRS
Contributions
2026
HOPE
Author of A Radically Elementary Probabilistic Lambda-Calculus within the HOPE 2026-track
2024
HOPE
Author of Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers within the HOPE 2024-track
2022
ICFP
Author of On Feller Continuity and Full Abstraction within the ICFP Papers and Events-track
Share
x
Fri 23 Oct 22:29