I\'ve been doing some reading on functional programming, and was curious when I found several sources mentioning that concepts like lambda calculus and combinatory logic are
