For economy of notation, variables are reused in sections that are self-contained.
If so, it might be unwise to consider prehistoric artefacts as isolated and self-contained objects, an impression which might be attributed to contemporary capitalism.
To make the present paper self-contained we include the basic information-theoretic definitions needed.
The exposition is as self-contained as possible, so even a reader completely unfamiliar with interaction nets should be able to follow the technical contents.
To make the paper more self-contained, we recall here the notions of proof-net and coherent space.
Nonetheless, we shall provide all the necessary instances in order to keep the paper self-contained.
This chapter can also be profitably read as a self-contained proposal, not merely as an argument in favour of semantic minimalism.
So there should be a gain in finding for the calculus mentioned above a new, self-contained, completeness proof with respect to symmetric monoidal closed isomorphisms.
