See LambdaCalculus.