Operational interpretations of linear logic (1999)

by David N Turner, Philip Wadler
Venue:Theor. Comput. Sci