Proof Identity and Categorical Models of BV.

Matteo Acclavio, Lutz Straburger, Vladimir Zamdzhiev

Browse the full FSCD paper archive.