lambda-calculus Definition K Combinator The K combinator is a combinator used in Church encoding to represent true (boolean value). T=λxy.x