Sharing Equality is Linear.

Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen

Browse the full PPDP paper archive.