An abstract machine defined by Professor David Turner to evaluate combinator expressions represented as binary graph s. Named after the two basic combinators, S and K.
S-K REDUCTION MACHINE
Meaning of S-K REDUCTION MACHINE in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012