The posting for PhD student position in Ultrech University in Holland seem to have the best description of functional programming I have seen:



Lambda-calculus and term rewriting are models of computation lying at the basis of functional programming languages. Both possess syntactic meta-theories based on analyzing rewrite steps.


Source