Andrei Popescu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2023–2025
on a stage with
all 6 in the filters
who talks about the same things
- Dmitriy Traytel4 talks
- Sharon Shoham13 talks
- Ohad Kammar19 talks
- Michel Steuwer17 talks
- Amal Ahmed25 talks
- Gabriel Scherer12 talks
| title | conference | date |
|---|---|---|
| Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with(…) | POPL 2025 | 2025-01-19 |
Provides a semantic criterion that turns inductive rule systems with binders into strengthened induction theorems by modelling relations as Knaster–Tarski… | ||
| The Complex(ity) Landscape of Checking Infinite Descent | POPL 2024 | 2024-01-14 |
Two new decision procedures for Infinite Descent appear: an automata-based variant that encodes sloped relations so the trace automaton is exponential only in… | ||
| Nominal Recursors as Epi-Recursors | POPL 2024 | 2024-01-14 |
Identifies nominal recursion schemes as instances of an abstract epi-recursors pattern and builds a categorical framework that compares expressiveness by… | ||
| Admissible Types-to-PERs Relativization in Higher-Order Logic | POPL 2023 | 2023-01-15 |
Proves that for a large practical fragment of HOL (including datatypes and codatatypes) a types-to-PERs relativization is admissible: if a type-based theorem… | ||
| nothing matches | ||