https://www.severint.net/2021/03/02/was-ist-binary-lambda-calculus/