lambda calculus Last updated June 14, 2022 Mathematics Lambda calculus The set of inputs is known as domain, the resulting output is codomain.