Graph reduction machine

From Wiki @ Karl Jones dot com
Revision as of 07:22, 15 September 2016 by Karl Jones (Talk | contribs) (Created page with "A '''graph reduction machine''' is a special-purpose computer built to perform combinator calculations by graph reduction. Examples include the...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

External links