Extending the Curry-Howard interpretation to linear, relevance and other resource logics (1992)

Cached

Download Links

by Dov M. Gabbay, et al.
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:18 - 1 self