I.T37 — Diagonal-Linear Correspondence

The diagonal discipline (I.D03) and the structural fragment of !-free linear logic are structurally isomorphic: K5's refusal of self-products corresponds to absence of contraction, channel consumption to one-use-per-formula, saturation to finite linear context, controlled overflow to bounded !-introduction.