Internal Calculi for Separation Logics.

Stphane Demri, tienne Lozes, Alessio Mansutti

Browse the full CSL paper archive.