329 citations · 374 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Modular Labelled Sequent Calculi for Abstract Separation Logics
Zhé Hóu, Ranald Clouston, Rajeev Goré +1
Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" be…
cs.LO2017★ 1 cited
Fitch-Style Modal Lambda Calculi
Ranald Clouston
Fitch-style modal deduction, in which modalities are eliminated by opening a subordinate proof, and introduced by shutting one, were investigated in the 1990s as a basis for lambda…