Adrienne Lancelot
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Interaction Equivalence | POPL 2025 | 2025-01-19 |
Defines a checker lambda calculus with black/white lambdas and applications, four beta rules, and a deterministic head interaction steps count that ignores… | ||
| Normal Form Bisimulations by Value | GALOP 2024 | 2024-01-14 |
Defines a new call-by-value normal-form bisimilarity, net bisimilarity, built on the value substituent calculus of aatan Pini; proves net is included… | ||
| nothing matches | ||