Classical BI: a logic for reasoning about dualising resources (0)

by J Brotherston, C Calcagno
Venue:In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages