Conheça uma excelente opção em hospedagem de sites com registro de dominios e datacenter.
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.
Temas relacionados:
SkipJack « SKOL « skolemisation « S-K reduction machine » skrog » SKsh » SKU