Normalisation Control in Deep Inference via Atomic Flows

Alessio Guglielmi, Tom Gundersen

We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flo…