Samuel Mimram

According to our database, Samuel Mimram authored at least 46 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Delooping cyclic groups with lens spaces in homotopy type theory.

Samuel Mimram, Émile Oleon

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Delooping Generated Groups in Homotopy Type Theory.

Camil Champin, Samuel Mimram, Émile Oleon

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Polygraphs: From Rewriting to Higher Categories.

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

CoRR, 2023

Categorical Coherence from Term Rewriting Systems.

Samuel Mimram

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Introduction to the special issue: Confluence.

Mauricio Ayala-Rincón, Samuel Mimram

Math. Struct. Comput. Sci., August, 2022

Rewriting in Gray categories with applications to coherence.

Simon Forest, Samuel Mimram

Math. Struct. Comput. Sci., May, 2022

Tietze Equivalences as Weak Equivalences.

Simon Henry, Samuel Mimram

Appl. Categorical Struct., 2022

Division by Two, in Homotopy Type Theory.

Samuel Mimram, Émile Oleon

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Syntactic Regions for Concurrent Programs.

Samuel Mimram, Aly-Bora Ulusoy

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.

Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Globular weak ω-categories as models of a type theory.

Thibaut Benjamin, Eric Finster, Samuel Mimram

CoRR, 2021

2020

Directed Homotopy in Non-Positively Curved Spaces.

Eric Goubault, Samuel Mimram

Log. Methods Comput. Sci., 2020

2019

A Sequent Calculus for Opetopes.

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

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Describing free $\omega$ -categories.

Simon Forest, Samuel Mimram

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

A Sound Foundation for the Topological Approach to Task Solvability.

Jérémy Ledent, Samuel Mimram

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Geometric and combinatorial views on asynchronous computability.

Éric Goubault, Samuel Mimram, Christine Tasson

Distributed Comput., 2018

Brief Announcement: On the Impossibility of Detecting Concurrency.

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

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Coherence of Gray Categories via Rewriting.

Simon Forest, Samuel Mimram

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Concurrent Specifications Beyond Linearizability.

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

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Coherent Presentations of Monoidal Categories.

Pierre-Louis Curien, Samuel Mimram

Log. Methods Comput. Sci., 2017

A type-theoretical definition of weak ω-categories.

Eric Finster, Samuel Mimram

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Homological Computations for Term Rewriting Systems.

Philippe Malbos, Samuel Mimram

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Directed Algebraic Topology and Concurrency

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

Springer, ISBN: 978-3-319-15398-8, 2016

Geometric Models of Concurrent Computations.

Samuel Mimram

, 2016

2015

Iterated Chromatic Subdivisions are Collapsible.

Eric Goubault, Samuel Mimram, Christine Tasson

Appl. Categorical Struct., 2015

From Geometric Semantics to Asynchronous Computability.

Eric Goubault, Samuel Mimram, Christine Tasson

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Presenting a Category Modulo a Rewriting System.

Florence Clerc, Samuel Mimram

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014

Presenting Finite Posets.

Samuel Mimram

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

Towards 3-Dimensional Rewriting Theory.

Samuel Mimram

Log. Methods Comput. Sci., 2014

2013

A Categorical Theory of Patches.

Samuel Mimram, Cinzia Di Giusto

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

A Geometric View of Partial Order Reduction.

Eric Goubault, Tobias Heindel, Samuel Mimram

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods.

Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram

CoRR, 2013

A Homotopical Completion Procedure with Applications to Coherence of Monoids.

Yves Guiraud, Philippe Malbos, Samuel Mimram

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

HySon: Set-based simulation of hybrid systems.

Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen

Proceedings of the Programming Languages and Systems, 2012

2011

The structure of first-order causality.

Samuel Mimram

Math. Struct. Comput. Sci., 2011

The Structure of First-Order Causality (extended version)

Samuel Mimram

CoRR, 2011

Liquidsoap: A High-Level Programming Language for Multimedia Streaming.

David Baelde, Romain Beauxis, Samuel Mimram

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Non-Standard Semantics for Kahn Networks in Continuous Time.

Romain Beauxis, Samuel Mimram

Proceedings of the Computer Science Logic, 2011

2010

Formal Relationships Between Geometrical and Classical Models for Concurrency.

Eric Goubault, Samuel Mimram

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

Computing Critical Pairs in 2-Dimensional Rewriting Systems.

Samuel Mimram

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Focusing in Asynchronous Games.

Samuel Mimram

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2008

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle. (Asynchronous Game Semantics and 2-dimensional Rewriting Systems).

Samuel Mimram

PhD thesis, 2008

Presentation of a Game Semantics for First-Order Propositional Logic

Samuel Mimram

CoRR, 2008

2007

Asynchronous Games: Innocence Without Alternation.

Paul-André Melliès, Samuel Mimram

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007