Higher-Order Causal Theories Are Models of BV-Logic.

Will Simmons, Aleks Kissinger

Browse the full MFCS paper archive.