Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Loïs Michel
conf.researchr.org general profile
ICFP 2026 profile
Not registered as user
Name:
Loïs Michel
Contributions
2026
HOPE
Author of A Radically Elementary Probabilistic Lambda-Calculus within the HOPE 2026-track
Share
x
Sat 24 Oct 14:38