View source for Graph reduction machine

A '''graph reduction machine''' is a special-purpose [[computer]] built to perform [[Combinatory logic|combinator]] calculations by [[graph reduction]].

Examples include the SKIM ("S-K-I machine") computer, built at the University of Cambridge Computer Laboratory, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London.

== See also ==

* [[Combinatory logic]]
* [[Graph reduction]]
* [[SECD machine]]

== External links ==

* [https://en.wikipedia.org/wiki/Graph_reduction_machine Graph reduction machine] @ Wikipedia.org 

[[Category:Computing]]
[[Category:Mathematics]]