n. (Logic) 1. the process of determining the value of a function for a given argument. 2. (Combinatory logic) the primitive binary function (x, y) = x(y), equivalent to lambda conversion.