Mimram, Samuel

1. Computing Critical Pairs in 2-Dimensional Rewriting Systems
   2010/04/19 by Samuel Mimram, Mimram, Samuel · 1 citation
   Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Natural Language Processing Techniques #cs.FL #math.CT #semigroups and automata theory
2. Polygraphs: From Rewriting to Higher Categories
   2023/12/01 by Ara, Dimitri, Burroni, Albert, Guiraud, Yves +3 · 2 citations
   #18C10 #18N30 (Primary) 18-00 #18N40 #68Q42 (Secondary) #A.1 #Category Theory (math.CT) #F.4.2 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
3. Delooping presented groups in homotopy type theory
   2024/05/06 by Champin, Camil, Mimram, Samuel, Oleon, Emile · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)