The Logic of Bunched Implications (1999)
by
Peter W. O'Hearn
,
David J. Pym
| Venue: | BULLETIN OF SYMBOLIC LOGIC |
| Citations: | 170 - 34 self |







