Martin Baillon

According to our database, Martin Baillon authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Zoo of Continuity Properties in Constructive Type Theory.

Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pédrot, Matthieu Piquerez

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2023

Continuity in Type Theory. (Continuité en théorie des types).

Martin Baillon

PhD thesis, 2023

2022

Gardening with the Pythia A Model of Continuity in a Dependent Setting.

Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022