S-K reduction machine
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.Nearby terms:
SkipJack ♦ SKOL ♦ skolemisation ♦ S-K reduction machine ♦ skrog ♦ SKsh ♦ SKU
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
