It's interesting that they use the word "capability" here. These kinds of single-shot values show up in the capability-theory literature occasionally. I suspect

It's interesting that they use the word "capability" here. These kinds of single-shot values show up in the capability-theory literature occasionally. I suspect that linear types might be equivalent in structural power to the typical notion of "perfect encapsulation" in object-capability security, but I don't yet have a proof.