## Philip Wadler

*Is There a Use for Linear Logic?*

PEPM, 1991.

@inproceedings{PEPM-1991-Wadler, author = "Philip Wadler", booktitle = "{Proceedings of the First Workshop on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/115865.115894", isbn = "0-89791-433-3", pages = "255--273", publisher = "{ACM}", title = "{Is There a Use for Linear Logic?}", year = 1991, }