The author presents an algebraic representation for edge graphs based on total and recursive definitions, aiming to prevent usage errors and promote structurally recursive computations.
