Ett matematiskt uttryck såsom x² kan informellt dels stå för en viss funktion, kvadreringsfunktionen, dels för det värde som denna funktion antar när den appliceras på ett givet argument x. Church införde en operator λ för att bilda uttryck för funktioner och skriver i första fallet λ