Recursion
Computability theory
Theory of computation
Subroutines
Lambda calculus
Primitive recursive function
Fold
Mutual recursion
Higher-order function
Type system