Client-server sessions in linear logic. - Zesen Qian; G. A. Kavvos; Lars Birkedal (Proc. ACM Program. Lang., 2021)