Guiraud, Yves
- 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)