combinatory logic

/K AH0 M B AY1 N AH0 T AO0 R IY0 L AA0 JH IH0 K/
noun
  1. 1

    (computer science) Model of computation based on combinators.