I highly recommend reading the papers listed in this slide, by the way. All reasonably accessible, I think.https://twitter.com/chiefscientist/status/782161688783118336 …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
They really don’t. The linear logic paper is a classic but really not necessary for understanding the gist of session types.