@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}
}
@inproceedings{DBLP:journals/corr/abs-2112-14055,
author = {Samuel Mimram and
Aly{-}Bora Ulusoy},
editor = {Ana Sokolova},
title = {Syntactic Regions for Concurrent Programs},
booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 2021},
series = {{EPTCS}},
volume = {351},
pages = {184–199},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.351.12},
doi = {10.4204/EPTCS.351.12},
timestamp = {Thu, 17 Mar 2022 13:40:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
keywords = {concurrency},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_synreg.pdf},
hal = {https://hal.science/hal-04244384}
}
@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:liqbook,
author = {Samuel Mimram and Romain Beauxis},
title = {{The Liquidsoap book}},
publisher = {Independently published},
year = {2021},
isbn = {979-8748717717},
asin = {B095PVTYR3},
url = {https://www.amazon.com/dp/B095PVTYR3},
pdf = {http://www.liquidsoap.info/book/book.pdf},
keywords = {webradio,book},
hal = {https://hal.science/hal-04244392}
}
@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}
}
@article{mimram:cat0,
title = {{Directed Homotopy in Non-Positively Curved Spaces}},
author = {Goubault, Eric and Mimram, Samuel},
url = {https://lmcs.episciences.org/6634},
journal = {{Logical Methods in Computer Science}},
volume = {{Volume 16, Issue 3}},
year = {2020},
month = jul,
doi = {10.23638/LMCS-16(3:4)2020},
eprint = {1908.06684},
eprinttype = {arxiv},
keywords = {concurrency,journal},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cat0.pdf},
hal = {https://hal.science/hal-04244375}
}
@inproceedings{ledent_et_al:LIPIcs:2019:10936,
author = {J{\'e}r{\'e}my Ledent and Samuel Mimram},
title = {{A Sound Foundation for the Topological Approach to Task Solvability}},
booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)},
pages = {34:1–34:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-121-4},
issn = {1868-8969},
year = {2019},
volume = {140},
editor = {Wan Fokkink and Rob van Glabbeek},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2019/10936},
urn = {urn:nbn:de:0030-drops-109365},
doi = {10.4230/LIPIcs.CONCUR.2019.34},
keywords = {concurrency,conference},
hal = {https://hal.science/hal-04244357}
}
@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{goubault2018concurrent,
title = {Concurrent Specifications Beyond Linearizability},
author = {Goubault, {\'E}ric and Ledent, J{\'e}r{\'e}my and Mimram, Samuel},
booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
year = {2018},
pages = {28:1–28:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-098-9},
issn = {1868-8969},
volume = {125},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/10088},
urn = {urn:nbn:de:0030-drops-100888},
doi = {10.4230/LIPIcs.OPODIS.2018.28},
keywords = {concurrency,conference},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_csbl.pdf},
hal_id = {hal-02155500},
hal = {http://hal.science/hal-02155500}
}
@inproceedings{goubault_et_al:LIPIcs:2018:9839,
author = {{\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Samuel Mimram},
title = {{On the Impossibility of Detecting Concurrency}},
booktitle = {32nd International Symposium on Distributed Computing (DISC 2018)},
pages = {50:1–50:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-092-7},
issn = {1868-8969},
year = {2018},
volume = {121},
editor = {Ulrich Schmid and Josef Widder},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/9839},
urn = {urn:nbn:de:0030-drops-98392},
doi = {10.4230/LIPIcs.DISC.2018.50},
keywords = {concurrency,conference},
hal_id = {hal-02155495},
hal = {http://hal.science/hal-02155495}
}
@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:views,
author = {Goubault, {\'E}ric and Mimram, Samuel and Tasson, Christine},
title = {Geometric and combinatorial views on asynchronous computability},
journal = {Distributed Computing},
year = {2018},
day = {16},
issn = {1432-0452},
doi = {10.1007/s00446-018-0328-4},
url = {https://doi.org/10.1007/s00446-018-0328-4},
keywords = {journal,concurrency},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_views.pdf},
hal_id = {hal-02155487},
hal = {http://hal.science/hal-02155487}
}
@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}
}
@misc{mimram:hdr,
author = {Samuel Mimram},
title = {{Geometric Models of Concurrent Computations}},
school = {Université Paris Diderot – Paris 7},
year = {2016},
month = {09},
notes = {Habilitation à diriger des recherches},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hdr.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hdr_slides.pdf},
keywords = {thesis},
hal_id = {tel-01783442},
hal = {http://hal.science/tel-01783442}
}
@book{datc,
author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
title = {{Directed Algebraic Topology and Concurrency}},
publisher = {Springer International Publishing},
year = {2016},
doi = {10.1007/978-3-319-15398-8},
isbn = {978-3-319-15397-1},
url = {http://www.springer.com/fr/book/9783319153971},
keywords = {concurrency,book},
hal = {https://hal.science/hal-04244534}
}
@incollection{gsac,
year = {2015},
isbn = {978-3-662-48652-8},
booktitle = {Distributed Computing},
volume = {9363},
series = {Lecture Notes in Computer Science},
editor = {Moses, Yoram},
doi = {10.1007/978-3-662-48653-5_29},
title = {From Geometric Semantics to Asynchronous Computability},
url = {http://dx.doi.org/10.1007/978-3-662-48653-5_29},
publisher = {Springer Berlin Heidelberg},
author = {Goubault, Éric and Mimram, Samuel and Tasson, Christine},
pages = {436-451},
language = {English},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_podc2015.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_disc2015_slides.pdf},
keywords = {concurrency,conference},
hal_id = {hal-01207146},
hal = {http://hal.science/hal-01207146}
}
@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}
}
@article{apcs14,
year = {2014},
issn = {0927-2852},
journal = {Applied Categorical Structures},
doi = {10.1007/s10485-014-9383-6},
title = {Iterated Chromatic Subdivisions are Collapsible},
url = {http://dx.doi.org/10.1007/s10485-014-9383-6},
publisher = {Springer Netherlands},
author = {Éric Goubault and Samuel Mimram and Christine Tasson},
pages = {1–42},
language = {English},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_subdivision.pdf},
keywords = {concurrency,journal},
hal_id = {hal-00904156},
hal = {http://hal.science/hal-00904156}
}
@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}
}
@article{Mimram2013283,
author = {Samuel Mimram and Cinzia Di Giusto},
title = {{A Categorical Theory of Patches}},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {298},
number = {0},
pages = {283–307},
year = {2013},
note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
issn = {1571-0661},
doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.018},
url = {http://www.sciencedirect.com/science/article/pii/S1571066113000649},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ctp_slides.pdf},
eprint = {1311.3903},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ctp.pdf},
keywords = {concurrency,conference},
hal = {http://hal.science/hal-00904156}
}
@article{Goubault2013179,
author = {{\'E}ric Goubault and Tobias Heindel and Samuel Mimram},
title = {{A Geometric View of Partial Order Reduction}},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {298},
number = {0},
pages = {179–195},
year = {2013},
note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
issn = {1571-0661},
doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.013},
url = {http://www.sciencedirect.com/science/article/pii/S1571066113000595},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_expor2.pdf},
keywords = {concurrency,conference},
hal_id = {cea-01836517},
hal = {http://hal.science/cea-01836517}
}
@incollection{ts,
author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
year = {2012},
isbn = {978-3-642-28868-5},
booktitle = {Programming Languages and Systems},
volume = {7211},
series = {Lecture Notes in Computer Science},
editor = {Helmut Seidl},
doi = {10.1007/978-3-642-28869-2_14},
title = {{Trace Spaces: An Efficient New Technique for State-Space Reduction}},
url = {http://dx.doi.org/10.1007/978-3-642-28869-2_14},
publisher = {Springer Berlin Heidelberg},
pages = {274–294},
eprint = {1204.0414},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ts.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/mimram_esop12_slides.pdf},
keywords = {concurrency,conference},
hal_id = {hal-00904156},
hal = {http://hal.science/hal-00904156}
}
@article{Goubault201277,
author = {\'Eric Goubault and Samuel Mimram},
title = {{Formal Relationships Between Geometrical and Classical Models for Concurrency}},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {283},
number = {0},
pages = {77–109},
year = {2012},
note = {Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO)},
issn = {1571-0661},
doi = {http://dx.doi.org/10.1016/j.entcs.2012.05.007},
url = {http://www.sciencedirect.com/science/article/pii/S1571066112000084},
eprint = {1004.2818},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_getco10.pdf},
keywords = {concurrency,journal},
hal_id = {inria-00473765},
hal = {http://hal.science/inria-00473765}
}
@incollection{safecomp,
author = {Richard Bonichon and Géraud Canet and Loïc Correnson and Eric Goubault and Emmanuel Haucourt and Michel Hirschowitz and Sébastien Labbé and Samuel Mimram},
year = {2011},
isbn = {978-3-642-24269-4},
booktitle = {Computer Safety, Reliability, and Security},
volume = {6894},
series = {Lecture Notes in Computer Science},
editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
doi = {10.1007/978-3-642-24270-0_7},
title = {{Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software}},
url = {http://dx.doi.org/10.1007/978-3-642-24270-0_7},
publisher = {Springer Berlin Heidelberg},
pages = {85–98},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_safecomp11.pdf},
keywords = {concurrency,conference},
hal_id = {cea-01809015},
hal = {http://hal.science/cea-01809015}
}
@inproceedings{erts14,
author = {Olivier Bouissou and Alexandre Chapoutot and Samuel Mimram},
title = {{Set-based Simulation for Design and Verification of Simulink Models}},
optcrossref = {},
optkey = {},
booktitle = {Embedded Real Time Software and Systems (ERTS)},
optpages = {},
year = {2014},
opteditor = {},
optvolume = {},
optnumber = {},
optseries = {},
optaddress = {},
optmonth = {},
optorganization = {},
optpublisher = {},
optnote = {},
optannote = {},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_erts14.pdf},
keywords = {hybrid,conference},
hal = {http://hal.science/hal-01290286}
}
@inproceedings{6380694,
author = {O. Bouissou and A. Chapoutot and S. Mimram},
booktitle = {Rapid System Prototyping (RSP), 2012 23rd IEEE International Symposium on},
title = {{HySon: Set-based simulation of hybrid systems}},
year = {2012},
pages = {79–85},
doi = {10.1109/RSP.2012.6380694},
issn = {2150-5500},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hyson.pdf},
keywords = {hybrid,conference},
hal = {http://hal.science/hal-00819377}
}
@inproceedings{nskahn,
author = {Romain Beauxis and Samuel Mimram},
title = {{A Non-Standard Semantics for Kahn Networks in Continuous Time}},
booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL},
pages = {35–50},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-939897-32-3},
issn = {1868-8969},
year = {2011},
volume = {12},
editor = {Marc Bezem},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3221},
urn = {urn:nbn:de:0030-drops-32212},
doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2011.35},
eprint = {1108.5062},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk_slides.pdf},
keywords = {hybrid,conference},
hal_id = {inria-00616968},
hal = {http://hal.science/inria-00616968}
}
@incollection{fag,
year = {2010},
isbn = {978-3-642-13961-1},
booktitle = {Programs, Proofs, Processes},
volume = {6158},
series = {Lecture Notes in Computer Science},
editor = {Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes},
doi = {10.1007/978-3-642-13962-8_37},
title = {{Focusing in Asynchronous Games}},
url = {http://dx.doi.org/10.1007/978-3-642-13962-8_37},
publisher = {Springer Berlin Heidelberg},
author = {Samuel Mimram},
pages = {331–341},
eprint = {1004.3134},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_focusing_ag.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cie10_slides.pdf},
keywords = {concurrency,conference},
hal_id = {inria-00473967},
hal = {http://hal.science/inria-00473967}
}
@incollection{ag4,
year = {2007},
isbn = {978-3-540-74406-1},
booktitle = {CONCUR 2007 – Concurrency Theory},
volume = {4703},
series = {Lecture Notes in Computer Science},
editor = {Luís Caires and VascoT. Vasconcelos},
doi = {10.1007/978-3-540-74407-8_27},
title = {{Asynchronous Games: Innocence Without Alternation}},
url = {http://dx.doi.org/10.1007/978-3-540-74407-8_27},
publisher = {Springer Berlin Heidelberg},
author = {Paul-André Melliès and Samuel Mimram},
pages = {395–411},
eprint = {0706.1118},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_concur07.pdf},
keywords = {concurrency,conference},
hal_id = {hal-00152707},
hal = {http://hal.science/hal-00152707}
}
@incollection{sofsem,
year = {2011},
isbn = {978-3-642-18380-5},
booktitle = {SOFSEM 2011: Theory and Practice of Computer Science},
volume = {6543},
series = {Lecture Notes in Computer Science},
editor = {Ivana Černá and Tibor Gyimóthy and Juraj Hromkovič and Keith Jefferey and Rastislav Králović and Marko Vukolić and Stefan Wolf},
doi = {10.1007/978-3-642-18381-2_8},
title = {{Liquidsoap: A High-Level Programming Language for Multimedia Streaming}},
url = {http://dx.doi.org/10.1007/978-3-642-18381-2_8},
publisher = {Springer Berlin Heidelberg},
author = {David Baelde and Romain Beauxis and Samuel Mimram},
pages = {99–110},
eprint = {1104.2681},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_sofsem11.pdf},
keywords = {webradio,conference},
hal_id = {inria-00585728},
hal = {http://hal.science/inria-00585728}
}
@inproceedings{baelde:inria-00202813,
hal_id = {inria-00202813},
url = {http://hal.science/inria-00202813},
hal = {http://hal.science/inria-00202813},
title = {{De la webradio lambda à la $\lambda$-webradio}},
author = {David Baelde and Samuel Mimram},
abstract = {{La génération et la manipulation de flux audio – pour une radio web par exemple – est une tâche complexe, difficilement réalisable à l'aide des langages de programmation habituels. Nous présentons dans cet article un langage fonctionnel fortement typé appelé Liquidsoap qui offre des abstractions confortables pour décrire la construction de flux élaborés. Il se démarque par sa souplesse d'utilisation et la richesse des possibilités qu'il offre: de l'utilisation de divers types d'entrées (fichiers audio, micro, requ{\^e}tes d'utilisateurs) que l'on peut sélectionner dynamiquement (selon la disponibilité ou encore l'horaire) à la gestion des transitions entre morceaux et autres traitements audio. La nécessité d'avoir un langage riche et abordable nous a amenés à introduire une variante du lambda-calcul typé, avec étiquettes et arguments optionnels, dont la portée va au delà du domaine du traitement audio.}},
language = {Français},
affiliation = {Laboratoire d'informatique de l'école polytechnique - LIX , Preuves, Programmes et Systèmes - PPS},
booktitle = {{JFLA (Journées Francophones des Langages Applicatifs)}},
pages = {47–62},
address = {Étretat, France},
organization = {INRIA},
audience = {nationale},
year = {2008},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_jfla08.pdf},
keywords = {webradio,conference}
}
@phdthesis{mimram:phd,
author = {Samuel Mimram},
title = {{Sémantique des jeux asynchrones et réécriture 2-dimensionnelle}},
school = {Équipe Preuves Programmes Systèmes (PPS), Université Paris~7},
year = {2009},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_these.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_these_soutenance.pdf},
keywords = {thesis},
hal = {http://hal.science/tel-00338643}
}
@unpublished{ia-rep,
author = {Samuel Mimram},
title = {{Innocence asynchrone}},
note = {Master thesis report},
year = {2005},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_m2.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_m2_slides.pdf},
keywords = {report}
}
@unpublished{catfamdec,
author = {Samuel Mimram},
title = {{Décidabilité de l'égalité dans les catégories avec familles}},
note = {Master 2 internship},
year = {2004},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/report.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/presentation2.pdf},
keywords = {report}
}
@unpublished{jcjc,
author = {Samuel Mimram},
title = {{JoCaml et le join-calcul}},
note = {Report for master 1 course},
year = {2003},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/join.pdf},
slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/join_slides.pdf},
keywords = {report}
}
@unpublished{rapls,
author = {Samuel Mimram},
title = {{Recherche automatique de preuves dans une logique spatiale sur le π-calcul}},
note = {MIM1 internship},
year = {2002},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/rapport.pdf},
slide = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/presentation.pdf},
keywords = {report}
}
@unpublished{poly-kleisli,
author = {Elies Harington, Samuel Mimram},
title = {Polynomials in homotopy type theory as a Kleisli category},
year = {2024},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_polykleisli.pdf},
keywords = {submitted}
}
@unpublished{cart-coh,
author = {Samuel Mimram},
title = {Coherence in cartesian theories},
note = {Submitted},
year = {2024},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs_coh_long.pdf},
eprint = {2402.18170},
keywords = {submitted}
}
@unpublished{lens,
author = {Samuel Mimram and Emile Oleon},
title = {Delooping cyclic groups with lens spaces in homotopy type theory},
note = {Submitted},
year = {2024},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_lens.pdf},
keywords = {submitted}
}
@unpublished{generated-delooping,
author = {Camil Champin and Samuel Mimram and {\'E}mile Oleon},
title = {Delooping generated groups in homotopy type theory},
note = {Submitted},
year = {2024},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_generated_delooping.pdf},
keywords = {submitted}
}
@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{polygraphs,
author = {Dimitri Ara and Albert Burroni and Yves Guiraud and Philippe Malbos and François Métayer and Samuel Mimram},
title = {Polygraphs: From Rewriting to Higher Categories},
note = {Submitted},
year = {2023},
eprint = {2312.00429},
hal = {https://hal.science/hal-04322821},
keywords = {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{flowpipe,
author = {Olivier Bouissou and Alexandre Chapoutot and Samuel Mimram},
title = {{Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods}},
note = {Unpublished manuscript},
year = {2014},
eprint = {1306.2305},
eprinttype = {arxiv},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_flowpipe.pdf},
keywords = {hybrid}
}
@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}
}
@unpublished{agcg,
author = {Paul-André Melliès and Samuel Mimram},
title = {{From Asynchronous Games to Concurrent Games}},
note = {Unpublished manuscript},
pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_galop08.pdf},
year = {2008},
keywords = {concurrency}
}