Brotherston, J and Calcagno, C (2010) Classical BI: Its semantics and proof theory. Logical Methods in Computer Science , 6 (3) 1 - 42.
| Type: | Article |
|---|---|
| Title: | Classical BI: Its semantics and proof theory |
| Open access status: | An open access publication |
| Publisher version: | http://www.lmcs-online.org |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record