Philip Wadler

Bibliography

Wadler, Philip. 1993. “A Taste of Linear Logic.” Unpublished manuscript, http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html.