Cl\'ement Alleaume

Identifiers

No identifiers captured yet.

Papers (2)

1. Linear polygraphs applied to categorification math.CT · 2017 · author #1
2. Coherence of string rewriting systems by decreasingness math.CT · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Philippe Malbos 1 shared papers