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.
English Church encoding Cited by user Mathnerd314159 on 14 Mar 2022 In mathematics, Church encoding is a means of representing data and operators in the lambda calculus.