Mathematical-logic system based on functions| en.wikipedia.org
Programming paradigm based on applying and composing functions| en.wikipedia.org
