Towards 3-Dimensional Rewriting Theory von Mimram, Samuel

Volltext

Tietze Equivalences as Weak Equivalences von Henry, Simon, Mimram, Samuel

Volltext

Directed Homotopy in Non-Positively Curved Spaces von Goubault, Eric, Mimram, Samuel

Volltext

Presenting Finite Posets von Mimram, Samuel

Volltext

Coherent Presentations of Monoidal Categories von Curien, Pierre-Louis, Mimram, Samuel

Volltext

Rewriting in Gray categories with applications to coherence von Forest, Simon, Mimram, Samuel

Volltext

Introduction to the special issue: Confluence von Ayala-Rincón, Mauricio, Mimram, Samuel

Volltext

The structure of first-order causality von MIMRAM, SAMUEL

Volltext

A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory von Finster, Eric, Mimram, Samuel, Lucas, Maxime, Seiller, Thomas

Volltext

Rewriting techniques for relative coherence von Mimram, Samuel

Volltext bestellen

Syntactic Regions for Concurrent Programs von Mimram, Samuel, Ulusoy, Aly-Bora

Volltext

Geometric and combinatorial views on asynchronous computability von Goubault, Éric, Mimram, Samuel, Tasson, Christine

Volltext

Polynomials in homotopy type theory as a Kleisli category von Harington, Elies, Mimram, Samuel

Volltext bestellen

Delooping cyclic groups with lens spaces in homotopy type theory von Mimram, Samuel, Oleon, Émile

Volltext bestellen

Rewriting techniques for relative coherence von Mimram, Samuel

Volltext

Iterated Chromatic Subdivisions are Collapsible von Goubault, Éric, Mimram, Samuel, Tasson, Christine

Volltext

Free precategories as presheaf categories von Forest, Simon, Mimram, Samuel

Volltext bestellen

The Structure of First-Order Causality von Mimram, S.

Volltext

Rewriting in Gray categories with applications to coherence von Forest, Simon, Mimram, Samuel

Volltext bestellen

Delooping generated groups in homotopy type theory von Champin, Camil, Mimram, Samuel, Oleon, Emile

Volltext bestellen