CCG, inference, monotone and antitone functions, monotonicity, monotonicity calculus, polarity, typed lambda calculus.