Brotherston, J and Calcagno, C (2009) Classical BI (A logic for reasoning about dualising resources). Conference Record of the Annual ACM Symposium on Principles of Programming Languages 328 - 339.
Full text not available from this repository.
|Title:||Classical BI (A logic for reasoning about dualising resources)|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
Archive Staff Only: edit this record