Difference between revisions of "Graph reduction machine"
From Wiki @ Karl Jones dot com
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...") |
(No difference)
|
Latest revision as of 07:22, 15 September 2016
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
- Graph reduction machine @ Wikipedia.org
