S-K reduction machine

Technology Dictionary -> S-K reduction machine

Search:

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.