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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: SkipJack « SKOL « skolemisation « S-K reduction machine » skrog » SKsh » SKU


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.