For anyone interested in Wadler’s publications on Linear Logic, his homepage has a lot of pdf versions of his work in the area. [1]: https://homepages.inf.ed.a

For anyone interested in Wadler’s publications on Linear Logic, his homepage has a lot of pdf versions of his work in the area. [1]: https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.ht...