Pierre-Marie Pdrot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
5
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | In Cantor Space No One Can Hear You Stream. | Martin Baillon, Assia Mahboubi, Pierre-Marie Pdrot |
| 2026 | FSCD | Not Choosing Is Still a Choice: Constructive mathematics without any choice. | Martin Baillon, Yannick Forster, Dominik Kirst, Assia Mahboubi, Pierre-Marie Pdrot |
| 2025 | FSCD | A Zoo of Continuity Properties in Constructive Type Theory. | Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pdrot, Matthieu Piquerez |
| 2024 | CPP | Martin-Lf la Coq. | Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pdrot, Loc Pujet |
| 2024 | LICS | δ is for Dialectica. | Marie Morgane Kerjean, Pierre-Marie Pdrot |
| 2024 | LICS | "Upon This Quote I Will Build My Church Thesis". | Pierre-Marie Pdrot |
| 2022 | CSL | Gardening with the Pythia A Model of Continuity in a Dependent Setting. | Martin Baillon, Assia Mahboubi, Pierre-Marie Pdrot |
| 2020 | LICS | Russian Constructivism in a Prefascist Theory. | Pierre-Marie Pdrot |
| 2018 | ESOP | Failure is Not an Option - An Exceptional Type Theory. | Pierre-Marie Pdrot, Nicolas Tabareau |
| 2017 | CPP | The next 700 syntactical models of type theory. | Simon Boulier, Pierre-Marie Pdrot, Nicolas Tabareau |
| 2017 | LICS | An effectful way to eliminate addiction to dependence. | Pierre-Marie Pdrot, Nicolas Tabareau |
| 2016 | ESOP | Classical By-Need. | Pierre-Marie Pdrot, Alexis Saurin |
| 2016 | LICS | The Definitional Side of the Forcing. | Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pdrot, Matthieu Sozeau, Nicolas Tabareau |
| 2014 | CSL | A functional functional interpretation. | Pierre-Marie Pdrot |