Is there a use for linear logic? pages 255--273 (0)

by Philip Wadler
Venue:In [5