There's No Substitute for Linear Logic (1991)

Cached

Download Links

by Philip Wadler
Citations:28 - 1 self