Follow
raymond turner
raymond turner
Professor logic and computation Essex University
Verified email at essex.ac.uk
Title
Cited by
Cited by
Year
Logic for artificial intelligence
RW Turner
Prentice Hall PTR, 1984
4901984
Semantics and property theory
G Chierchia, R Turner
Linguistics and philosophy, 261-302, 1988
4241988
Philosophy of computer science
R Turner, AH Eden
Stanford University, 2008
220*2008
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1471987
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1451990
Properties, Types and Meaning: Volume II: Semantic Issues
G Chierchia, BBH Partee, R Turner
Springer Science & Business Media, 2012
1322012
Turner, R.
R Turner
Minds and Machines 21 (2), 135-152, 2011
71*2011
Constructive foundations for functional languages
R Turner
McGraw-Hill, 1991
691991
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
612007
Computational linguistics and formal semantics
M Rosner, R Johnson
Cambridge University Press, 1992
561992
Properties, propositions and semantic theory
R Turner
Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992
561992
Montague semantics, nominalization and Scott's domains
R Turner
Linguistics and Philosophy, 259-288, 1983
491983
Programming languages as technical artifacts
R Turner
Philosophy & technology 27, 377-397, 2014
452014
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
371998
The foundations of specification
R Turner
J. Log. Comput. 15 (5), 623-662, 2005
342005
Computable models
R Turner
Springer, 2009
312009
Understanding programming languages
R Turner
Minds and Machines 17, 203-216, 2007
302007
Types
R Turner
Handbook of logic and language, 535-586, 1997
291997
Towards a programming language ontology
R Turner, AH Eden
na, 2007
242007
Counterfactuals without possible worlds
R Turner
Journal of Philosophical Logic, 453-493, 1981
241981
The system can't perform the operation now. Try again later.
Articles 1–20