Main Page | See live article | Alphabetical index 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 References T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM - The S, K, I Reduction Machine. LISP Conference 1980: 128-135 Related articles SECD machine External links http://www-fp.dcs.st-and.ac.uk/~kh/papers/pasco94/subsubsectionstar3_2_1_1.html This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.