We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify distributed form structural rules weakening and contraction. This makes them suitable logical device encapsulating pattern server receiving requests from an arbitrary number clients on single channel. Guided by this intuition we formulate system session types base...

Part Three—Conflict with Former Client The gist of MRPC 1.9 is that, even after a lawyer’s representation of a client ceases, the lawyer may not represent a prospective client (Client A on Decision Tree No. 3) in the same or a substantially related matter in which the prospective client’s interests are materially adverse to those of the former client without the consent of the former client (Cl...