A Bunched Logic for Conditional Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Browse the full LICS paper archive.