21 citations · 32 across the 9 of their papers we have counts for
1 paper · 1 filter
Dan Frumin
The logic of bunched implications (BI) is a substructural logic that forms the backbone of separation logic, the much studied logic for reasoning about heap-manipulating programs.…