https://123dok.org/document/4yrepk8z-models-theories-pure-resource-lambda-calculi.html