Maxime Lucas
Orcid: 0000-0002-9680-7129
According to our database1,
Maxime Lucas
authored at least 12 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
J. Open Source Softw., December, 2023
J. Open Source Softw., June, 2023
2022
2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
2020
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions.
CoRR, 2020
2017
Cubical categories for homotopy and rewriting. (Les catégories cubiques en homotopie et en réécriture).
PhD thesis, 2017
2013
Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013