[1] : The Free On-line Dictionary of Computing (27 SEP 03)

combinatory logic
     
        a system for reducing the operational notation of logic,
        mathematics or a functional language to a sequence of
        modifications to the input data structure.  first introduced
        in the 1920's by schoenfinkel.  re-introduced independently
        by haskell curry in the late 1920's who quickly learned of
        schoenfinkel's work after he had the idea.  curry is really
        responsible for most of the development, at least up until
        work with feys in 1958.
     
        see combinator.
     
        1995-01-05
     
     
see also:
logic functional language schoenfinkel haskell curry combinator 

Combinatory >> C Words
Combinatory, definition of term: Combinatory
combinatory_pag1.html

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html