Separation Logic with Monadic Inductive Definitions and Implicit Existentials.

Makoto Tatsuta, Daisuke Kimura

Browse the full APLAS paper archive.