The equivalence of two LBIs
2025-06-19The logic of bunched implication (BI), compared to linear logic (LL), adds an extra additive primitive for implication.
1
The logic of bunched implication (BI), compared to linear logic (LL), adds an extra additive primitive for implication.