Colin Riba
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Guilhem Jaberonce
- Kenji Maillardonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Temporal refinements for Call-By-Push-Value with fixpoint | HOPE 2022 | 2022-09-11 |
Proposes temporal refinements for a Call-By-Push-Value calculus with arbitrary fixpoints and shows how a comonadic modality (a box) plus a later modality… | ||
| Fibred Categories of Tree Automata | Symmetry, Logic, Computation 2016 | 2016-11-07 |
Builds a category whose objects are tree automata and morphisms = strategies in the acceptance games and shows concrete constructions: product and unit… | ||
| nothing matches | ||