Maxime Lucas

The folk model category structure on strict omega-categories is monoidal, with Dimitri Ara ,
Theory and Applications of Categories, vol. 35, pp. 745-808, 2020.
A cubical Squier's theorem,
Mathematical Structures for Computer Science, vol. 30, no. 2, pp. 159 - 172, 2020.
Cubical (omega,p)-categories,
Higher Structures , 2018, vol. 2, no 1.
A coherence theorem for pseudonatural transformations,
Journal of Pure and Applied Algebra , 2017, vol. 221, no 5, p. 1146-1217.

Cubical Coq using intensional presheaves,
joint work with Pierre-Marie Pédrot, Loïc Pujet and Nicolas Tabareau,
ICMS, 2020.
Rewriting strategies as contracting homotopies,
7th Symposium on Compositional Structures, 2020 (postponed).
The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies, with Cyrille Chenavier,
Joint proceedings of HOR 2019 and IWC 2019, p. 33, 2019.
On the structure of local branchings,
3rd Workshop on Higher-Dimensional Rewriting and Applications, 2017.
A cubical Squier's theorem
2nd Workshop on Higher-Dimensional Rewriting and Applications, 2016.

Under the supervision of Pierre-Louis Curien and Yves Guiraud.
Cubical categories for homotopy and rewriting PhD Thesis , 2018, Univ. Paris 7, Sorbonne Paris Cité.

Maxime Lucas Postdoctoral researcher at LIPN , Université Sorbonne Paris Nord Member of the Logic and Verification team