There's No Substitute for Linear Logic (1991)

Cached

Download Links

by Philip Wadler
Citations:24 - 1 self