Giulio Manzonetto
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
- Adrienne Lancelotonce
- Axel Kerineconce
- Beniamino Accattolionce
all 5 in the filters
who talks about the same things
- Beniamino Accattoli4 talks
- Gabriele Vanoni7 talks
- Ugo Dal Lago14 talks
- Francesco Gavazzo4 talks
- Kenji Maillard11 talks
- Ohad Kammar19 talks
| 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… | ||
| Why Are Proofs Relevant in Proof-Relevant Models? | POPL 2023 | 2023-01-15 |
Categorifying relational graph models using distributors yields categorified graph models whose denotations are distributors returning full type derivations… | ||
| nothing matches | ||