If you take expressions in the lambda calculus to be programs, then that's not too bad. You don't even have to be liberal in your interpretation of `run'.

Of course "computer term" is a bad choice. It's mathematics (or its hyped subfield of computer science).