Philip Wadler. A Taste of Linear Logic. In Andrzej M. Borzyszkowski, Stefan Sokolowski, editors, Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. Volume 711 of Lecture Notes in Computer Science, pages 185-210, Springer, 1993.
@inproceedings{Wadler93, title = {A Taste of Linear Logic}, author = {Philip Wadler}, year = {1993}, tags = {logic}, researchr = {https://researchr.org/publication/Wadler93}, cites = {0}, citedby = {0}, pages = {185-210}, booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings}, editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski}, volume = {711}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57182-5}, }