Martin Baillon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
4 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 |
| 2022 | CSL | Gardening with the Pythia A Model of Continuity in a Dependent Setting. | Martin Baillon, Assia Mahboubi, Pierre-Marie Pdrot |