A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Browse the full LICS paper archive.