Graph reduction machine

A graph reduction machine is a special-purpose computer built to perform 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

References

External links

This article is issued from Wikipedia - version of the Wednesday, December 17, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.