Programming paradigm that treats all computation as the evaluation of mathematical functions.