- 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.
verb (used with or without object), noun, Scot. 1. screech.
noun 1. South African. a sudden fright or panic.