We provide a direct method for proving Craig interpolation for a range o...
In recent years we have seen several new models of dependent type theory...
Abstract separation logics are a family of extensions of Hoare logic for...
Fitch-style modal deduction, in which modalities are eliminated by openi...