| It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. | Он основан на комбинаторной логике, варианте Лямбда-исчисления, который опускает оператор lambda. |
| Taxifolin enhanced also the efficacy of conventional antibiotics like levofloxacin and ceftazidime in vitro, which have potential for combinatory therapy of patients infected with methicillin-resistant Staphylococcus aureus (MRSA). | Дигидрокверцетин усиливает также эффективность обычных антибиотиков, таких как левофлоксацин и цефтазидим в пробирке, которые имеют потенциал для комбинаторной терапии у пациентов, инфицированных метициллин-устойчивый золотистый стафилококк (MRSA). |
| On 7 December 1920 he delivered a talk to the group where he outlined the concept of combinatory logic. | 7 декабря 1920 года он, выступая перед коллегами, изложил концепцию комбинаторной логики. |
| This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry. | Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри. |
| Combinatory and focused libraries are also disclosed. | Изобретение также относится к комбинаторной и фокусированной библиотекам. |