‘Copy semantics’ is ‘call by value’ in the jargon of computer language theory.
Much of the theory of computer languages is thus directly applicable to the understanding of capability kernels.