Extending the Curry-Howard interpretation to linear, relevance and other resource logics (1992)
by
Dov M. Gabbay, et al.
| Venue: | JOURNAL OF SYMBOLIC LOGIC |
| Citations: | 18 - 1 self |
BibTeX
@ARTICLE{Gabbay92extendingthe,
author = {Dov M. Gabbay and et al.},
title = { Extending the Curry-Howard interpretation to linear, relevance and other resource logics},
journal = {JOURNAL OF SYMBOLIC LOGIC},
year = {1992}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
