Main Page | See live article | Alphabetical index

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, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London.

Table of contents
1 References
2 Related articles
3 External links


Related articles

External links