Higher-order causal theories are models of BV-logic

DOI10.4230/LIPICS.MFCS.2022.80MaRDI QIDQ6584086zbMATH OpenFDO

Authors Will Simmons, Aleks Kissinger

Publication date 6 August 2024

zbMATH Keywords

causalitycategorical logiclinear logicquantum channelsprobabilistic coherence spaces

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Higher-order causal theories are models of BV-logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584086)