F. Aschieri: "Towards a concurrrent lambda calculus: via linear logic"; Talk: Workshop, Proof, Computation, Complexity, Stockholm; 2019-07-15 - 2019-07-19.