Reduction graphs in the lambda calculus (Q792994)

The author studies some properties of the reduction graphs of lambda terms and she gives the characterization of some classes of reduction graphs. Condensed reduction graphs obtained by dividing out ''cyclic equivalence'' and spectra, i.e., the partially ordered set of all reductions, are also considered. Reductions to normal form and cofinal reductions are the most significant reductions. The spectrum is proved to be the completion of the condensed reduction graph.