Matches in DBpedia 2016-04 for { <http://doi.org/10.2307/2274956> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 2274956 authorlink1 "J. Roger Hindley".
- 2274956 authorlink2 "David Meredith".
- 2274956 doi "10.2307/2274956".
- 2274956 first1 "J. Roger".
- 2274956 first2 "David".
- 2274956 isCitedBy Combinatory_logic.
- 2274956 issue "1".
- 2274956 journal Journal_of_Symbolic_Logic.
- 2274956 last1 "Hindley".
- 2274956 last2 "Meredith".
- 2274956 pages "90–105".
- 2274956 title "Principal type-schemes and condensed detachment".
- 2274956 url 1183743187.
- 2274956 volume "55".
- 2274956 year "1990".