s-k reduction machine

Computing Dictionary

S-K reduction machine definition


An abstract machine defined by Professor David Turner to evaluate combinator expressions represented as binary graphs. Named after the two basic combinators, S and K.
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: s-http
Next Definition: s-lang
More from Thesaurus.com
Synonyms and Antonyms for s-k reduction machine
More from Reference.com
Search for articles containing s-k reduction machine
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature