[Iris-Club] Distinguishing persistent and duplicate resources

[Jeehoon Kang]

Dear Iris Club,

In the "Iris From the Ground Up" journal paper, it's said that persistent
and duplicable resources are different things.  There's an example: "exists
q, l |->_q v" is duplicable, but not persistent (p15,
https://people.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf).

But are there any technical reasons why the example should not be
persistent?
The resource "lost" the information on q, so we can never be able to take
it back completely, anyway.
In that sense, maybe we can say it's persistent?

Thanks,
Jeehoon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20190713/f0ef7991/attachment.html>