Deduction soundness: prove one, get five for free.

Florian Bhl, Vronique Cortier, Bogdan Warinschi

Browse the full CCS paper archive.