Word:

S-K reduction machine

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.
Browse
Rys
Rysh
Rysimeter
Ryth
Rytina
Ryukyu Islands
Ryukyuan
RZ
RZG
S
S wrench
S-ALGOL
S-DIMM
S-DSMA
S-HDSL
S-HTTP
-- S-K reduction machine --
S-Lang
S-MIME
S-shape
s-shaped
S-SIMM
S-Video
S. S. Van Dine
S. Smith Stevens
S.M.A.R.T.
S.P.A.T.
s.t.p.
S.u.S.E.
S.U.V.
s///
S/360
S/370
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home