Graph reduction machine
From Wiki @ Karl Jones dot com
Revision as of 08: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...")
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
