329 citations · 374 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 5 cited
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version
Ranald Clouston, Jeremy Dawson, Rajeev Gore +1
Full Intuitionistic Linear Logic (FILL) is multiplicative intuitionistic linear logic extended with par. Its proof theory has been notoriously difficult to get right, and existing…
cs.LO2013
Proof search for propositional abstract separation logics via labelled sequents
Zhe Hou, Ranald Clouston, Rajeev Gore +1
Separation logics are a family of extensions of Hoare logic for reasoning about programs that mutate memory. These logics are "abstract" because they are independent of any particu…