@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}
}