  Linear logic provides a further twist in the interpretation of the implication ‘\(A \Rightarrow B\)’: now it can be read as ‘give me as many \(A\)'s as I might need and I will give you one \(B\)’. The notion of copy which is so central to the idea of computation is now wired into the logic. 