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.
| Type: | Article |
|---|---|
| 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