Proof of Delivery: Mechanized Mailbox Types.

Edgard Schiebelbein, Annette Bieniusa, Simon Fowler

Browse the full Coordination paper archive.