函数概念为中心的重要理论范式，其中的运算对象为多元函数，基本语法基于λ演算，而函数的复合则采用代换来完成。特别地，通过一种称为柯里化的变换，可将多元函数变换为一元函数。
可计算和不可计算函数.所有从整数到整数的可计算函数的个数是可数的，这是因为所有可能的算法个数是可数的。从整数到整数的函数个数要更多些－和实数个数一样多，也就是说是等势的。这说明有些从整数到整数的函数是不可计算的。关于不可计算函数，请参看停机问题和莱斯定理，OEIS中有一个经典的例子：。
范畴