Understanding linear logic in five steps, purely computationally and without semantics.
We'll explain linear logic as a _specific_ self-interactive computational system by looking at more and more specific self-interaction computational systems until we arrive at classical linear logic.