\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]\
Definitions of COMBINATORY LOGIC
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
Word of the day
- relating to covered with or resembling freckles Freckled; speckled; bearing numerous small dots. Affected with lentigo.