COMBINATORY LOGIC
\kˈɒmbɪnətəɹˌi lˈɒd͡ʒɪk], \kˈɒmbɪnətəɹˌi lˈɒdʒɪk], \k_ˈɒ_m_b_ɪ_n_ə_t_ə_ɹ_ˌi l_ˈɒ_dʒ_ɪ_k]\
Sort: Oldest first
-
A system for reducing the operational notation oflogic, mathematics or a functional language to a sequenceof modifications to the input data structure. Firstintroduced in the 1920's by Schoenfinkel. Re-introducedindependently by Haskell Curry in the late 1920's (whoquickly learned of Schoenfinkel's work after he had the idea).Curry is really responsible for most of the development, atleast up until work with Feys in 1958.See combinator.
By Denis Howe