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
Word of the day
Proto Oncogene Proteins c erbB 2
- cell surface protein-tyrosine kinase that is found to be overexpressed in significant number adenocarcinomas. It has extensive homology can heterodimerize EGF EPIDERMAL GROWTH FACTOR), 3 receptor (RECEPTOR, 3) and the 4 receptor. Activation of erbB-2 receptor occurs during heterodimer formation with a ligand-bound erbB family members. EC 2.7.11.-.