Categorical Coherence from Term Rewriting Systems.

Samuel Mimram

Browse the full FSCD paper archive.