The following pages link to Samuel Mimram (Q265806):
Displayed 29 items.
- A geometric view of partial order reduction (Q265807) (← links)
- A categorical theory of patches (Q265821) (← links)
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
- From geometric semantics to asynchronous computability (Q1664156) (← links)
- Tietze equivalences as weak equivalences (Q2139719) (← links)
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram (Q2515156) (← links)
- Trace Spaces: An Efficient New Technique for State-Space Reduction (Q2892732) (← links)
- A Non-Standard Semantics for Kahn Networks in Continuous Time (Q2915672) (← links)
- (Q2958386) (← links)
- The structure of first-order causality (Q3081323) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- Asynchronous Games: Innocence Without Alternation (Q3525651) (← links)
- Focusing in Asynchronous Games (Q3576221) (← links)
- (Q4993341) (← links)
- (Q5013809) (← links)
- (Q5091106) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- A Type-Theoretical Definition of Weak {\omega}-Categories (Q5144671) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- (Q5277873) (← links)
- Coherent Presentations of Monoidal Categories (Q5367070) (← links)
- (Q5369492) (← links)
- (Q5389147) (← links)
- Towards 3-Dimensional Rewriting Theory (Q5417740) (← links)
- (Q5875396) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- Free precategories as presheaf categories (Q6418879) (← links)
- Polygraphs: From Rewriting to Higher Categories (Q6461687) (← links)