Lambda calculus
Functional programming
Square root
Scheme
Monad
Fixed-point combinator
Software engineering
Declarative programming
Mathematics