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.

Tagged:

Read Also:

  • Skreegh

    verb (used with or without object), noun, Scot. 1. screech.

  • Skrik

    noun 1. South African. a sudden fright or panic.



  • Skryabin

    noun 1. a variant spelling of Scriabin

  • Skrymir

    noun, Scandinavian Mythology. 1. See under Utgard-Loki. noun, Scandinavian Mythology. 1. a Jotun appearing in the story of Thor’s voyage to Utgard: at first disguised under another name (Skrymir) noun 1. (Norse myth) the giant king of Utgard



Disclaimer: S-k reduction machine definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.