Brotherston, J and Calcagno, C (2009) Classical BI: A logic for reasoning about dualising resources. In: ACM SIGPLAN Notices. (pp. 328 - 339).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| 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