Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory
Mimram, S. & Oleon, É., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
REWRITING TECHNIQUES FOR RELATIVE COHERENCE
Mimram, S., 1 Jan 2025, In: Logical Methods in Computer Science. 21, 3Research output: Contribution to journal › Article › peer-review
Open Access -
∞-Categorical Models of Linear Logic
Harington, E. & Mimram, S., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Delooping cyclic groups with lens spaces in homotopy type theory
Mimram, S. & Oleon, E., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers Inc., 56. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Delooping Generated Groups in Homotopy Type Theory
Champin, C., Mimram, S. & Oleon, É., 1 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
FREE PRECATEGORIES AS PRESHEAF CATEGORIES
Forest, S. & Mimram, S., 1 Jan 2024, In: Theory and Applications of Categories. 41, p. 785-824 40 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Categorical Coherence from Term Rewriting Systems
Mimram, S., 1 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Division by Two, in Homotopy Type Theory
Mimram, S. & Oleon, É., 1 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Introduction to the special issue: Confluence
Ayala-Rincón, M. & Mimram, S., 19 Aug 2022, In: Mathematical Structures in Computer Science. 32, 7, p. 827-828 2 p.Research output: Contribution to journal › Editorial
Open Access -
Rewriting in Gray categories with applications to coherence
Forest, S. & Mimram, S., 22 May 2022, In: Mathematical Structures in Computer Science. 32, 5, p. 574-647 74 p.Research output: Contribution to journal › Article › peer-review
Open Access