| Logics for artificial intelligence R Turner | 410 | 1984 |
| Logics for artificial intelligence R Turner | 410 | 1984 |
| Semantics and property theory G Chierchia, R Turner Linguistics and Philosophy 11 (3), 261-302, 1988 | 356 | 1988 |
| The philosophy of computer science R Turner, N Angius | 160* | 2013 |
| A theory of properties R Turner The Journal of Symbolic Logic 52 (2), 455-472, 1987 | 139 | 1987 |
| Truth and modality for knowledge representation R Turner Pitman, 1990 | 132 | 1990 |
| Truth and modality for knowledge representation R Turner Pitman, 1990 | 132 | 1990 |
| Properties, Types and Meaning: Volume II: Semantic Issues G Chierchia, BBH Partee, R Turner Springer Science & Business Media, 2012 | 102 | 2012 |
| Constructive foundations for functional languages R Turner McGraw-Hill Book Company Limited, 1991 | 63 | 1991 |
| Constructive foundations for functional languages R Turner McGraw-Hill Book Company Limited, 1991 | 63 | 1991 |
| Problems in the ontology of computer programs AH Eden, R Turner Applied Ontology 2 (1), 13-36, 2007 | 52 | 2007 |
| Properties, propositions and semantic theory R Turner Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992 | 50 | 1992 |
| Computational linguistics and formal semantics M Rosner, R Johnson Cambridge University Press, 1992 | 47 | 1992 |
| Montague semantics, nominalization and Scott's domains R Turner Linguistics and Philosophy 6 (2), 259-288, 1983 | 43 | 1983 |
| Types R Turner Handbook of logic and language, 535-586, 1997 | 30 | 1997 |
| YPA—an intelligent directory enquiry assistant A De Roeck, U Kruschwitz, P Neal, P Scott, S Steel, R Turner, N Webb BT Technology Journal 16 (3), 145-154, 1998 | 29 | 1998 |
| The foundations of specification R Turner J. Log. Comput. 15 (5), 623-662, 2005 | 28 | 2005 |
| Turner, R. R Turner Minds and Machines 21 (2), 135-152, 2011 | 27* | 2011 |
| Programming languages as technical artifacts R Turner Philosophy & technology 27 (3), 377-397, 2014 | 26 | 2014 |
| Computable models R Turner Springer London, 2009 | 26 | 2009 |
