Classical BI: a logic for reasoning about dualising resources.

James Brotherston, Cristiano Calcagno

Browse the full POPL paper archive.