Maths›03. Logic and Foundations13.3 Normal FormsNormalization of proofs, elimination of detours, and structural simplification of derivations.
Maths›03. Logic and Foundations3.4 Proof TransformationsTransformations of proofs, normalization, and structural properties of derivations.