Graph reduction machine


A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction.
Examples include the SKIM computer, built at the University of Cambridge Computer Laboratory, and the multiprocessor GRIP computer, built at University College London.