Classical bi: a logic for reasoning about dualising resources (2009)

by J Brotherston, C Calcagno
Venue:In Proc. 36th ACM Symp. Principles of Prog. Lang. (POPL’09