Higher-order causal theories are models of BV-logic

Will Simmons, Aleks Kissinger

The Caus[-] construction takes a compact closed category of basic processes and yields a *-autonomous category of higher-order processes obeying certain signalling/causality constr…