There is no substitute for Linear Logic (1992)

by P Wadler
Venue:In 8th int. workshop on mathematical foundations of