https://www.techopedia.com/definition/16402/lambda-calculus