Samuel Mimram

91 %
Libre accès
57
Documents
Affiliation actuelle
  • Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX)

Publications

Publications

Deposit thumbnail

Globular weak ω-categories as models of a type theory

Thibaut Benjamin , Eric Finster , Samuel Mimram

Higher Structures, 2024, 8 (2), pp.1-69. ⟨10.21136/HS.2024.07⟩

Article dans une revue hal-05551093v1
Deposit thumbnail

Rewriting in Gray categories with applications to coherence

Simon Forest , Samuel Mimram

Mathematical Structures in Computer Science, 2022, 32 (5), pp.574-647. ⟨10.1017/S0960129522000299⟩

Article dans une revue hal-04244411v1
Deposit thumbnail

Type theoretical approaches to opetopes

Cédric Ho Thanh , Pierre-Louis Curien , Samuel Mimram

Higher Structures, 2022, 6 (1), pp.80 - 181. ⟨10.21136/hs.2022.02⟩

Article dans une revue hal-04244406v1
Deposit thumbnail

Tietze Equivalences as Weak Equivalences

Simon Henry , Samuel Mimram

Applied Categorical Structures, 2022, 30 (3), pp.453-483. ⟨10.1007/s10485-021-09662-w⟩

Article dans une revue hal-04244388v1
Deposit thumbnail

Directed Homotopy in Non-Positively Curved Spaces

Eric Goubault , Samuel Mimram

Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(3:4)2020⟩

Article dans une revue hal-04244375v1
Deposit thumbnail

Geometric and combinatorial views on asynchronous computability

Eric Goubault , Samuel Mimram , Christine Tasson

Distributed Computing, 2018, 31 (4), pp.289-316. ⟨10.1007/s00446-018-0328-4⟩

Article dans une revue hal-02155487v1
Deposit thumbnail

Coherent Presentations of Monoidal Categories

Pierre-Louis Curien , Samuel Mimram

Logical Methods in Computer Science, 2017, 13 (3), pp.1-38. ⟨10.23638/LMCS-13(3:31)2017⟩

Article dans une revue hal-01662524v1
Deposit thumbnail

Iterated chromatic subdivisions are collapsible

Eric Goubault , Samuel Mimram , Christine Tasson

Applied Categorical Structures, 2015, 23, pp.777 - 818. ⟨10.1007/s10485-014-9383-6⟩

Article dans une revue cea-01822918v1
Deposit thumbnail

Towards 3-Dimensional Rewriting Theory

Samuel Mimram

Logical Methods in Computer Science, 2014, 10, pp.1-47. ⟨10.2168/LMCS-10(2:1)2014⟩

Article dans une revue cea-01822999v1
Deposit thumbnail

Formal Relationships Between Geometrical and Classical Models for Concurrency

Eric Goubault , Samuel Mimram

Electronic Notes in Theoretical Computer Science, 2012, Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO), 283, pp.77-109. ⟨10.1016/j.entcs.2012.05.007⟩

Article dans une revue inria-00473765v2
Deposit thumbnail

The Structure of First-Order Causality (extended version)

Samuel Mimram

Mathematical Structures in Computer Science, 2011, 21 (01), pp.65-110. ⟨10.1017/S0960129510000459⟩

Article dans une revue inria-00559240v1
Deposit thumbnail

Classifying Covering Types in Homotopy Type Theory

Samuel Mimram , Émile Oleon

34th EACSL Annual Conference on Computer Science Logic (CSL 2026), Feb 2026, Paris, France. ⟨10.4230/LIPIcs.CSL.2026.21⟩

Communication dans un congrès hal-05553827v1
Deposit thumbnail

∞-Categorical Models of Linear Logic

Eliès Harington , Samuel Mimram

10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. pp.23:1-23:20, ⟨10.4230/LIPIcs.FSCD.2025.23⟩

Communication dans un congrès hal-05553819v1
Deposit thumbnail

Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory

Samuel Mimram , Émile Oleon

10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. pp.30:1-30:17, ⟨10.4230/LIPIcs.FSCD.2025.30⟩

Communication dans un congrès hal-05553784v1
Deposit thumbnail

Polynomials in homotopy type theory as a Kleisli category

Elies Harington , Samuel Mimram

MFPS XL, Jul 2024, Oxford, United Kingdom. ⟨10.46298/entics.14786⟩

Communication dans un congrès hal-05553795v1
Deposit thumbnail

Delooping Generated Groups in Homotopy Type Theory

Camil Champin , Samuel Mimram , Émile Oleon

9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.6:1-6:20, ⟨10.4230/LIPIcs.FSCD.2024.6⟩

Communication dans un congrès hal-05553813v1
Deposit thumbnail

Delooping cyclic groups with lens spaces in homotopy type theory

Samuel Mimram , Emile Oleon

LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-15, ⟨10.1145/3661814.3662077⟩

Communication dans un congrès hal-05553806v1
Deposit thumbnail

Categorical Coherence from Term Rewriting Systems

Samuel Mimram

8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.16, ⟨10.4230/LIPIcs.FSCD.2023.16⟩

Communication dans un congrès hal-04244520v1
Deposit thumbnail

Division by Two, in Homotopy Type Theory

Samuel Mimram , Émile Oleon

7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.10, ⟨10.4230/LIPIcs.FSCD.2022.11⟩

Communication dans un congrès hal-04244509v1
Deposit thumbnail

A cartesian bicategory of polynomial functors in homotopy type theory

Eric Finster , Samuel Mimram , Maxime Lucas , Thomas Seiller

37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Aug 2021, Salzburg, Austria

Communication dans un congrès hal-03345938v1
Deposit thumbnail

Syntactic Regions for Concurrent Programs

Samuel Mimram , Aly-Bora Ulusoy

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Aug 2021, Salzburg, Austria. pp.184-199, ⟨10.4204/EPTCS.351.12⟩

Communication dans un congrès hal-04244384v1
Deposit thumbnail

Globular weak ω-categories as models of a type theory

Thibaut Benjamin , Eric Finster , Samuel Mimram

Workshop on Homotopy Type Theory / Univalent Foundations, Jul 2021, The Internet, Argentina

Communication dans un congrès hal-04337467v1
Deposit thumbnail

Describing free ω-categories

Simon Forest , Samuel Mimram

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada

Communication dans un congrès hal-03879498v1
Deposit thumbnail

A Sequent Calculus for Opetopes

Cédric Ho Thanh , Pierre-Louis Curien , Samuel Mimram

LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada

Communication dans un congrès hal-02406569v1
Deposit thumbnail

A Sound Foundation for the Topological Approach to Task Solvability

Jérémy Ledent , Samuel Mimram

30th International Conference on Concurrency Theory (CONCUR 2019), Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.34⟩

Communication dans un congrès hal-04244357v1
Deposit thumbnail

Brief Announcement: On the Impossibility of Detecting Concurrency

Éric Goubault , Jérémy Ledent , Samuel Mimram

DISC, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩

Communication dans un congrès hal-04470455v1
Deposit thumbnail

Coherence of Gray Categories via Rewriting

Simon Forest , Samuel Mimram

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.15⟩

Communication dans un congrès hal-02154822v1
Deposit thumbnail

On the Impossibility of Detecting Concurrency

Eric Goubault , Jérémy Ledent , Samuel Mimram

32nd International Symposium on Distributed Computing (DISC 2018), 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩

Communication dans un congrès hal-02155495v1

Concurrent specifications beyond linearizability

Eric Goubault , Jérémy Ledent , Samuel Mimram

22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2016.23⟩

Communication dans un congrès hal-02155500v1
Deposit thumbnail

A type-theoretical definition of weak ω-categories

Eric Finster , Samuel Mimram

LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005124⟩

Communication dans un congrès hal-02154846v1
Deposit thumbnail

Homological computations for term rewriting systems

Philippe Malbos , Samuel Mimram

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17

Communication dans un congrès hal-01678175v1
Deposit thumbnail

From Geometric Semantics to Asynchronous Computability

Éric Goubault , Samuel Mimram , Christine Tasson

DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩

Communication dans un congrès hal-01207146v1
Deposit thumbnail

Set-based Simulation for Design and Verification of Simulink Models

Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot

Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France

Communication dans un congrès hal-02272045v1
Deposit thumbnail

Set-based Simulation for Design and Verification of Simulink Models

Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot

Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France

Communication dans un congrès hal-01290286v1
Deposit thumbnail

A Homotopical Completion Procedure with Applications to Coherence of Monoids

Yves Guiraud , Philippe Malbos , Samuel Mimram

RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩

Communication dans un congrès hal-00818253v1
Deposit thumbnail

A Categorical Theory of Patches

Samuel Mimram , Cinzia Di Giusto

MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩

Communication dans un congrès hal-00904156v1
Deposit thumbnail

Trace Spaces: an Efficient New Technique for State-Space Reduction

Lisbeth Fajstrup , Eric Goubault , Emmanuel Haucourt , Samuel Mimram , Martin Raussen

ESOP - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.274-294, ⟨10.1007/978-3-642-28869-2_14⟩

Communication dans un congrès hal-00684615v1

HySon: Set-based simulation of hybrid systems

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram

23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩

Communication dans un congrès hal-00819377v1

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software

Richard Bonichon , Géraud Canet , Lo\"ic Correnson , Eric Goubault , Emmanuel Haucourt et al.

Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, 2011, Unknown, Unknown Region. pp.85--98, ⟨10.1007/978-3-642-24270-0_7⟩

Communication dans un congrès istex cea-01809015v1
Deposit thumbnail

A Non-Standard Semantics for Kahn Networks in Continuous Time

Romain Beauxis , Samuel Mimram

Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. pp.35--50, ⟨10.4230/LIPIcs.CSL.2011.35⟩

Communication dans un congrès inria-00616968v1
Deposit thumbnail

Liquidsoap: a High-Level Programming Language for Multimedia Streaming

David Baelde , Romain Beauxis , Samuel Mimram

SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩

Communication dans un congrès inria-00585728v1
Deposit thumbnail

Computing Critical Pairs in 2-Dimensional Rewriting Systems

Samuel Mimram

Rewriting Theory and Applications, 2010, Edinburgh, United Kingdom. pp.227-242, ⟨10.4230/LIPIcs.RTA.2010.227⟩

Communication dans un congrès inria-00473983v1
Deposit thumbnail

Focusing in Asynchronous Games

Samuel Mimram

6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. pp.331-341

Communication dans un congrès inria-00473967v1
Deposit thumbnail

The Structure of First-Order Causality

Samuel Mimram

Logic in Computer Science, Aug 2009, Los Angeles, United States. p. 212-221, ⟨10.1109/LICS.2009.19⟩

Communication dans un congrès inria-00411399v1
Deposit thumbnail

De la webradio lambda à la λ-webradio

David Baelde , Samuel Mimram

Journées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61

Communication dans un congrès hal-00223902v1
Deposit thumbnail

De la webradio lambda à la lambda-webradio

David Baelde , Samuel Mimram

JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.47-62

Communication dans un congrès inria-00202813v1

Polygraphs: From Rewriting to Higher Categories

Dimitri Ara , Albert Burroni , Yves Guiraud , Philippe Malbos , François Métayer et al.

Cambridge University Press, 495, pp.xx+648, 2025, London Mathematical Society Lecture Note Series, 9781009498982

Ouvrages hal-04322821v1

The Liquidsoap book

Samuel Mimram , Romain Beauxis

2021, 979-8748717717

Ouvrages hal-04244392v1

PROGRAM = PROOF

Samuel Mimram

2020, 979-8615591839

Ouvrages hal-04244364v1

Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup , Eric Goubault , Emmanuel Haucourt , Samuel Mimram , Martin Raussen

Springer International Publishing, 2016, 978-3-319-15397-1. ⟨10.1007/978-3-319-15398-8⟩

Ouvrages hal-04244534v1
Deposit thumbnail

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

Samuel Mimram

Informatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩

Thèse tel-00338643v2
Deposit thumbnail

Geometric Models of Concurrent Computations

Samuel Mimram

Logic in Computer Science [cs.LO]. Université Paris 7, 2016

HDR tel-01783442v1