combinatory примеры

• It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
  Он основан на комбинаторной логике, варианте Лямбда-исчисления, который опускает оператор lambda.
• An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention.
  Сходное теоретическое понятие, комбинаторная логика, является более абстрактным, нежели λ-исчисления и было создано раньше.
• This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry.
  Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.