S-K REDUCTION MACHINE


Meaning of S-K REDUCTION MACHINE in English

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.

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.