https://123dok.net/document/yd7kmwnl-soft-lambda-calculus-language-for-polynomial-time-computation.html