Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types

Danielle Marshall, Dominic Orchard

Session types provide guarantees about concurrent behaviour and can be understood through their correspondence with linear logic, with propositions as sessions and proofs as proces…