Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory
Mimram, S. & Oleon, É., 7 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
REWRITING TECHNIQUES FOR RELATIVE COHERENCE
Mimram, S., 1 janv. 2025, Dans: Logical Methods in Computer Science. 21, 3Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
∞-Categorical Models of Linear Logic
Harington, E. & Mimram, S., 7 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Delooping cyclic groups with lens spaces in homotopy type theory
Mimram, S. & Oleon, E., 8 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Delooping Generated Groups in Homotopy Type Theory
Champin, C., Mimram, S. & Oleon, É., 1 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
FREE PRECATEGORIES AS PRESHEAF CATEGORIES
Forest, S. & Mimram, S., 1 janv. 2024, Dans: Theory and Applications of Categories. 41, p. 785-824 40 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Categorical Coherence from Term Rewriting Systems
Mimram, S., 1 juin 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Division by Two, in Homotopy Type Theory
Mimram, S. & Oleon, É., 1 juin 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Introduction to the special issue: Confluence
Ayala-Rincón, M. & Mimram, S., 19 août 2022, Dans: Mathematical Structures in Computer Science. 32, 7, p. 827-828 2 p.Résultats de recherche: Contribution à un journal › Éditorial
Accès ouvert -
Rewriting in Gray categories with applications to coherence
Forest, S. & Mimram, S., 22 mai 2022, Dans: Mathematical Structures in Computer Science. 32, 5, p. 574-647 74 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert