English Graph reduction machine Cited by user Molectas on 01 Jul 2023 A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction.