Samuel Mimram

Identifiants chercheurs

IdHAL :

smimram

ORCID :

0000-0002-0767-2569

IdRef :

130630039

arXiv :

mimram_s_1

Publications

Article dans une revue (12)

Rewriting techniques for relative coherence Samuel Mimram Logical Methods in Computer Science, 2025, 21 (3), ⟨10.46298/lmcs-21(3:7)2025⟩ Article dans une revue hal-05553773v1
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
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
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
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
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
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
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
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
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
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
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

Communication dans un congrès (36)

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
Realization of Relational Presheaves Yorgo Chamoun,Samuel Mimram Foundations of Software Science and Computation Structures, Apr 2026, Turin, Italy. pp.178-197, ⟨10.1007/978-3-032-22730-0_9⟩ Communication dans un congrès hal-05594559v1
∞-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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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\&quot;ic Correnson,Eric Goubault,Emmanuel Haucourtet 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
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
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
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
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
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
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
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

Ouvrages (4)

Polygraphs: From Rewriting to Higher Categories Dimitri Ara,Albert Burroni,Yves Guiraud,Philippe Malbos,François Métayeret 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

Pré-publication, Document de travail (4)

Free precategories as presheaf categories Simon Forest,Samuel Mimram 2022 Pré-publication, Document de travail hal-03877507v1
Syntactical approaches to opetopes Pierre-Louis Curien,Cédric Ho Thanh,Samuel Mimram 2019 Pré-publication, Document de travail hal-02064784v1
Presentation of a Game Semantics for First-Order Propositional Logic Samuel Mimram 2008 Pré-publication, Document de travail hal-00277652v1
Asynchronous games: innocence without alternation Paul-André Melliès,Samuel Mimram 2007 Pré-publication, Document de travail hal-00152707v1

Rapport (1)

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou,Alexandre Chapoutot,Samuel Mimram 2013 Rapport hal-00831438v1

Thèse (1)

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

HDR (1)

Geometric Models of Concurrent Computations Samuel Mimram Logic in Computer Science [cs.LO]. Université Paris 7, 2016 HDR tel-01783442v1