Damien Pous
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2026
on a stage with
- Denis Kuperbergonce
- Laureline Pinaultonce
- Russ Harmeronce
all 4 in the filters
who talks about the same things
- Matthieu Sozeau14 talks
- Stephan Boyer4 talks
- Arthur Correnson5 talks
- Nicolas Tabareau14 talks
- Théo Winterhalter14 talks
- Katherine Ye2 talks
| title | conference | date |
|---|---|---|
| Adhesive Category Theory for Graph Rewriting in Rocq | CPP 2026 | 2026-01-12 |
A Rocq library implements adhesive and weaker RM and RMU adhesive category hierarchies using Hierarchy Builder and encodes morphism hierarchies (mono, reg… | ||
| Medium-scale automation for proof assistants | POPL 2026 | 2026-01-11 |
Shows that medium-scale automation produces concise, convincing, robust formal proofs for relation algebra and monoidal category theorems by combining… | ||
| Cyclic Proofs, System T, and the Power of Contraction | POPL 2021 | 2021-01-17 |
The paper studies a cyclic proof system C built over regular-expression types (inspired by linear logic and non-wellfounded proofs) and interprets C-proofs as… | ||
| nothing matches | ||