Recursion
Theoretical computer science
Mathematical logic
Computability theory
Programming idioms
Infinite loop
Functional programming
Algorithm
Structural induction