27 citations · 29 across the 3 of their papers we have counts for
1 paper · 1 filter
James Brotherston, Cristiano Calcagno
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunc…