List of Functional Programming Topics - Combinatory Logic

Combinatory Logic

  • Fixed point combinator
  • SKI combinator calculus
  • B,C,K,W system
  • SECD machine
  • Graph reduction machine

Read more about this topic:  List Of Functional Programming Topics

Famous quotes containing the word logic:

    “...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.”
    —Ellen Henrietta Swallow Richards (1842–1911)