Matches in DBpedia 2016-04 for { <http://doi.org/10.2307/2275370> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 2275370 author2Link "Ruy de Queiroz".
- 2275370 chapter "Extending the Curry–Howard interpretation to linear, relevant and other resource logics".
- 2275370 doi "10.2307/2275370".
- 2275370 first1 "Dov".
- 2275370 first2 "Ruy".
- 2275370 isCitedBy Curry–Howard_correspondence.
- 2275370 last1 "Gabbay".
- 2275370 last2 "de Queiroz".
- 2275370 pages "1319–1365".
- 2275370 title "Journal of Symbolic Logic".
- 2275370 volume "57".
- 2275370 year "1992".