Samuel Mimram

From MaRDI portal
Person:265806

Available identifiers

zbMath Open mimram.samuelMaRDI QIDQ265806

List of research outcomes

PublicationDate of PublicationType
Polygraphs: From Rewriting to Higher Categories2023-12-01Paper
Rewriting in Gray categories with applications to coherence2023-02-10Paper
A Sound Foundation for the Topological Approach to Task Solvability2023-02-03Paper
Free precategories as presheaf categories2022-11-29Paper
Syntactic approaches to opetopes2022-08-04Paper
https://portal.mardi4nfdi.de/entity/Q50911062022-07-21Paper
Tietze equivalences as weak equivalences2022-05-19Paper
https://portal.mardi4nfdi.de/entity/Q50138092021-12-02Paper
Coherence of Gray Categories via Rewriting2021-06-15Paper
A Type-Theoretical Definition of Weak {\omega}-Categories2021-01-19Paper
Directed Homotopy in Non-Positively Curved Spaces2020-07-30Paper
From geometric semantics to asynchronous computability2018-08-24Paper
Geometric and combinatorial views on asynchronous computability2018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q53694922017-10-17Paper
Coherent Presentations of Monoidal Categories2017-10-12Paper
Presenting a Category Modulo a Rewriting System2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q29583862017-02-01Paper
A geometric view of partial order reduction2016-04-12Paper
A categorical theory of patches2016-04-12Paper
Iterated chromatic subdivisions are collapsible2015-11-18Paper
Formal Relationships Between Geometrical and Classical Models for Concurrency2015-03-18Paper
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram2015-02-11Paper
Towards 3-Dimensional Rewriting Theory2014-05-22Paper
A Non-Standard Semantics for Kahn Networks in Continuous Time2012-09-18Paper
Trace Spaces: An Efficient New Technique for State-Space Reduction2012-06-22Paper
Computing Critical Pairs in 2-Dimensional Rewriting Systems2012-04-25Paper
The structure of first-order causality2011-03-07Paper
Focusing in Asynchronous Games2010-07-29Paper
Asynchronous Games: Innocence Without Alternation2008-09-18Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Samuel Mimram