https://123dok.net/document/z3d3mdwe-linear-logic-and-logical-paradigms-of-computation.html