Dictionary.net

Definitions of S-K reduction machine

  1. An abstract machine defined by Professor David Turner toevaluate combinator expressions represented as binarygraphs. Named after the two basic combinators, S and K.
X