https://123dok.org/document/nq7k3xdz-a-semantic-deconstruction-of-session-types.html