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.
| < Previous Terms | Terms Containing S-K reduction machine | Next Terms > |
| Skill Skim SkipJack SKOL skolemisation | abstract machine David Turner | skrog SKsh SKU skulker SL |
