s-k reduction machine

1 definition found

s-k reduction machine - Free On-line Dictionary of Computing (26 May 2007) :

  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.