@inproceedings{mimram:LIPIcs.FSCD.2023.16, author = {Mimram, Samuel}, title = {{Categorical Coherence from Term Rewriting Systems}}, booktitle = {8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)}, pages = {16:1–16:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-277-8}, issn = {1868-8969}, year = {2023}, volume = {260}, editor = {Gaboardi, Marco and van Raamsdonk, Femke}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, url = {https://drops.dagstuhl.de/opus/volltexte/2023/18000}, urn = {urn:nbn:de:0030-drops-180009}, doi = {10.4230/LIPIcs.FSCD.2023.16}, annote = {Keywords: coherence, rewriting system, Lawvere theory}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs_coh.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs_coh_slides.pdf}, hal = {https://hal.science/hal-04244520}, keywords = {rewriting} }
@article{mimram:ttop, author = {Pierre-Louis Curien and Cédric Ho Thanh and Samuel Mimram}, title = {Type theoretical approaches to opetopes}, journal = {Higher structures}, year = {2022}, volume = {6}, number = {1}, pages = {80–181}, keywords = {rewriting}, url = {https://dx.doi.org/10.21136/HS.2022.02}, doi = {10.21136/HS.2022.02}, pdf = {https://higher-structures.math.cas.cz/api/files/issues/Vol6Iss1/CurHoTMim}, hal = {https://hal.science/hal-04244406} }
@inproceedings{DBLP:journals/corr/abs-2112-14050, author = {Eric Finster and Samuel Mimram and Maxime Lucas and Thomas Seiller}, editor = {Ana Sokolova}, title = {A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory}, booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021}, series = {{EPTCS}}, volume = {351}, pages = {67–83}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.351.5}, doi = {10.4204/EPTCS.351.5}, timestamp = {Sun, 02 Oct 2022 15:32:32 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-14050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, keywords = {rewriting}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_polygpd2.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_polygpd_slides.pdf}, hal = {https://hal.science/hal-03345938} }
@article{forest_mimram_2022, title = {Rewriting in Gray categories with applications to coherence}, volume = {32}, doi = {10.1017/S0960129522000299}, number = {5}, journal = {Mathematical Structures in Computer Science}, publisher = {Cambridge University Press}, author = {Forest, Simon and Mimram, Samuel}, year = {2022}, pages = {574–647}, keywords = {rewriting}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_gray_rewr.pdf}, eprint = {2109.05369}, eprinttype = {arxiv}, hal = {https://hal.science/hal-04244411} }
@inproceedings{mimram:div2, author = {Mimram, Samuel and Oleon, \'{E}mile}, title = {{Division by Two, in Homotopy Type Theory}}, booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}, pages = {11:1–11:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-233-4}, issn = {1868-8969}, year = {2022}, volume = {228}, editor = {Felty, Amy P.}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/16292}, urn = {urn:nbn:de:0030-drops-162920}, doi = {10.4230/LIPIcs.FSCD.2022.11}, annote = {Keywords: division, axiom of choice, set theory, homotopy type theory, Agda}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_div2.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_div2_slides.pdf}, hal = {https://hal.science/hal-04244509}, keywords = {rewriting,conference} }
@article{mimram:tietze, author = {{Simon Henry and Samuel Mimram}}, title = {{Tietze Equivalences as Weak Equivalences}}, journal = {Applied Categorical Structures}, year = {2021}, issn = {1572-9095}, doi = {10.1007/s10485-021-09662-w}, url = {https://doi.org/10.1007/s10485-021-09662-w}, eprint = {2101.03591}, eprinttype = {arxiv}, keywords = {rewriting,journal}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_tietze.pdf}, hal = {https://hal.science/hal-04244388} }
@book{mimram:pp, author = {Samuel Mimram}, title = {{PROGRAM = PROOF}}, publisher = {Independently published}, year = {2020}, isbn = {979-8615591839}, asin = {B08C97TD9G}, url = {https://www.amazon.com/dp/B08C97TD9G/}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf}, keywords = {rewriting,book}, hal = {https://hal.science/hal-04244364} }
@inproceedings{mimram:parity, author = {Simon Forest and Samuel Mimram}, title = {Describing free ω-categories}, booktitle = {34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, year = {2019}, keywords = {rewriting,conference}, doi = {10.1109/LICS.2019.8785687}, url = {https://ieeexplore.ieee.org/document/8785687}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_parity_lics.pdf}, hal = {https://hal.archives-ouvertes.fr/hal-03879498} }
@inproceedings{mimram:optt, author = {Ho Thanh, Cédric and Curien, Pierre-Louis and Mimram, Samuel}, title = {{A Sequent Calculus for Opetopes}}, booktitle = {34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, year = {2019}, url = {https://ieeexplore.ieee.org/document/8785667}, doi = {10.1109/LICS.2019.8785667}, keywords = {rewriting,conference}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_optt.pdf}, hal = {https://hal.science/hal-02406569} }
@inproceedings{mimram:cats-as-models, author = {Thibaut Benjamin, Samuel Mimram, Eric Finster}, title = {{Globular weak $\omega$-categories as models of a type theory}}, booktitle = {Workshop on Homotopy Type Theory / Univalent Foundations}, year = {2021}, pdf = {https://hott-uf.github.io/2021/HoTTUF_2021_paper_12.pdf}, hal = {https://hal.science/hal-04337467v1}, keywords = {rewriting} }
@inproceedings{benjamin2019suspension, title = {Suspension et Fonctorialit{\'e}: Deux Op{\'e}rations Implicites Utiles en CaTT}, author = {Benjamin, Thibaut and Mimram, Samuel}, booktitle = {Journ{\'e}es Francophones des Langages Applicatifs}, year = {2019}, url = {https://hal.science/hal-01985195/}, hal = {http://hal.science/hal-01985195}, keywords = {rewriting,conference} }
@inproceedings{forest_et_al:LIPIcs:2018:9185, author = {Simon Forest and Samuel Mimram}, title = {{Coherence of Gray Categories via Rewriting}}, booktitle = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)}, pages = {15:1–15:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-077-4}, issn = {1868-8969}, year = {2018}, volume = {108}, editor = {H{\'e}l{\`e}ne Kirchner}, publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2018/9185}, urn = {urn:nbn:de:0030-drops-91855}, doi = {10.4230/LIPIcs.FSCD.2018.15}, annote = {Keywords: rewriting, coherence, Gray category, polygraph, pseudomonoid, precategory}, keywords = {rewriting,conference}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_gray.pdf}, hal_id = {hal-02154822}, hal = {http://hal.science/hal-02154822} }
@article{mimram:cohpres, title = {{Coherent Presentations of Monoidal Categories}}, author = {Curien, Pierre-Louis and Mimram, Samuel}, url = {http://lmcs.episciences.org/3955}, doi = {10.23638/LMCS-13(3:31)2017}, journal = {{Logical Methods in Computer Science}}, volume = {13}, number = {3}, year = {2017}, keywords = {rewriting,journal}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_monprescoh.pdf}, eprint = {1705.03553}, eprinttype = {arxiv}, hal_id = {hal-01662524}, hal = {http://hal.science/hal-01662524} }
@inproceedings{mimram:catt, author = {Eric Finster and Samuel Mimram}, title = {{A Type-Theoretical Definition of Weak $\omega$-Categories}}, booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, year = {2017}, pages = {1-12}, doi = {10.1109/LICS.2017.8005124}, keywords = {rewriting,conference}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt_slides.pdf}, eprint = {1706.02866}, eprinttype = {arxiv}, hal_id = {hal-02154846}, hal = {http://hal.science/hal-02154846} }
@inproceedings{malbos_et_al:LIPIcs:2016:5982, author = {Philippe Malbos and Samuel Mimram}, title = {{Homological Computations for Term Rewriting Systems}}, booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}, pages = {27:1–27:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-010-1}, issn = {1868-8969}, year = {2016}, volume = {52}, editor = {Delia Kesner and Brigitte Pientka}, publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2016/5982}, urn = {urn:nbn:de:0030-drops-59821}, doi = {http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.27}, annote = {Keywords: term rewriting system, Lawvere theory, Tietze equivalence, resolution, homology, convergent pres entation, coherent presentation}, keywords = {rewriting,conference}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs16.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_fscd16_slides.pdf}, hal_id = {hal-01678175}, hal = {http://hal.science/hal-01678175} }
@inproceedings{catmod, author = {Florence Clerc and Samuel Mimram}, title = {{Presenting a Category Modulo a Rewriting System}}, booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)}, pages = {89–105}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-939897-85-9}, issn = {1868-8969}, year = {2015}, volume = {36}, editor = {Maribel Fern{\'a}ndez}, publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2015/5191}, urn = {urn:nbn:de:0030-drops-51916}, doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.89}, annote = {Keywords: presentation of a category, quotient category, localization, residuation}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015_slides.pdf}, keywords = {rewriting,conference}, hal_id = {cea-01836513}, hal = {http://hal.science/cea-01836513} }
@inproceedings{EPTCS183.1, author = {Mimram, Samuel}, year = {2015}, title = {Presenting Finite Posets}, editor = {Middeldorp, Aart and Raamsdonk, Femke van}, booktitle = {{Proceedings 8th International Workshop on} Computing with Terms and Graphs, {Vienna, Austria, July 13, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {183}, publisher = {Open Publishing Association}, pages = {1-17}, doi = {10.4204/EPTCS.183.1}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_popres.pdf}, keywords = {rewriting,conference}, hal_id = {cea-01836512}, hal = {http://hal.science/cea-01836512} }
@article{t3rt, author = {Samuel Mimram}, title = {{Towards 3-Dimensional Rewriting Theory}}, journal = {Logical Methods in Computer Science}, year = {2014}, volume = {10}, number = {1}, pages = {1–47}, doi = {http://dx.doi.org/10.2168/LMCS-10(2:1)2014}, eprint = {1403.4094}, eprinttype = {arxiv}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_3drt.pdf}, keywords = {rewriting,journal}, hal_id = {cea-01822999}, hal = {http://hal.science/cea-01822999} }
@inproceedings{guiraud_et_al:LIPIcs:2013:4064, author = {Yves Guiraud and Philippe Malbos and Samuel Mimram}, title = {{A Homotopical Completion Procedure with Applications to Coherence of Monoids}}, booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)}, pages = {223–238}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-939897-53-8}, issn = {1868-8969}, year = {2013}, volume = {21}, editor = {Femke van Raamsdonk}, publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2013/4064}, urn = {urn:nbn:de:0030-drops-40649}, doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.223}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_kbs.pdf}, keywords = {rewriting,conference}, hal_id = {hal-00818253}, hal = {http://hal.science/hal-00818253} }
@article{MSC:7984430, author = {Samuel Mimram}, title = {{The Structure of First-Order Causality (extended version)}}, journal = {Mathematical Structures in Computer Science}, volume = {21}, issue = {01}, optmonth = {2}, year = {2011}, issn = {1469-8072}, pages = {65–110}, numpages = {46}, doi = {10.1017/S0960129510000459}, url = {http://journals.cambridge.org/article_S0960129510000459}, eprint = {1101.4813}, eprinttype = {arxiv}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_first_order_causality_long.pdf}, keywords = {rewriting,journal}, hal_id = {inria-00559240}, hal = {http://hal.science/inria-00559240} }
@inproceedings{mimram:LIPIcs:2010:2655, author = {Samuel Mimram}, title = {{Computing Critical Pairs in 2-Dimensional Rewriting Systems}}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications}, pages = {227–242}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-939897-18-7}, issn = {1868-8969}, year = {2010}, volume = {6}, editor = {Christopher Lynch}, publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2655}, urn = {urn:nbn:de:0030-drops-26552}, doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2010.227}, eprint = {1004.3135}, eprinttype = {arxiv}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta10.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta10_slides.pdf}, keywords = {rewriting,conference}, hal_id = {inria-00473983}, hal = {http://hal.science/inria-00473983} }
@inproceedings{5230577, author = {Samuel Mimram}, booktitle = {Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on}, title = {{The Structure of First-Order Causality}}, year = {2009}, pages = {212–221}, doi = {10.1109/LICS.2009.19}, issn = {1043-6871}, eprint = {0908.3994}, eprinttype = {arxiv}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_lics09.pdf}, slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_lics09_slides.pdf}, keywords = {rewriting,conference}, hal_id = {inria-00411399}, hal = {http://hal.science/inria-00411399} }
@unpublished{mimram:catt-models, author = {Thibaut Benjamin and Eric Finster and Samuel Mimram}, title = {{Globular weak $\omega$-categories as models of a type theory}}, note = {Submitted}, year = {2021}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cat_models.pdf}, eprint = {2106.04475}, eprinttype = {arxiv}, keywords = {rewriting,submitted} }
@unpublished{mimram:free-precat, author = {Simon Forest and Samuel Mimram}, title = {Free precategories as presheaf categories}, note = {}, year = {2022}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_free_precat.pdf}, note = {Submitted}, keywords = {rewriting,submitted} }
@unpublished{mimram:modelts, author = {Samuel Mimram}, title = {Bisimulations as weak equivalences?}, note = {Unpublished manuscript}, year = {2023}, keywords = {rewriting}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_modelts.pdf} }
@unpublished{mimram:polygpd, author = {Eric Finster and Samuel Mimram and Maxime Lucas and Thomas Seiller}, title = {A cartesian (2,1)-category of homotopy polynomial functors in groupoids}, note = {Unpublished manuscript}, year = {2020}, keywords = {rewriting}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_polygpd.pdf} }
@unpublished{mimram:opsyn, author = {Pierre-Louis Curien and Cédric Ho Thanh and Samuel Mimram}, title = {{Syntactic approaches to opetopes}}, note = {Unpublished manuscript}, year = {2019}, eprint = {1903.05848}, eprinttype = {arxiv}, keywords = {rewriting} }
@unpublished{r2dcp, author = {Samuel Mimram}, title = {{Representing 2-Dimensional Critical Pairs}}, note = {Unpublished manuscript}, pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_repr2d.pdf}, year = {2013}, keywords = {rewriting} }