11 citations · 36 across the 19 of their papers we have counts for
1 paper · 1 filter
Alexander Gheorghiu, Simon Docherty, David Pym
Warning: This paper contains a mistake, rendering the proof of the main theorem invalid. The logic of Bunched Implications (BI) combines both additive and multiplicative connective…