Local computation in linear logic (1993)

by U Solitro, S Valentini
Venue:Mathematical Logic Quarterly