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