Follow
raymond turner
raymond turner
Professor logic and computation Essex University
Verified email at essex.ac.uk
Title
Cited by
Cited by
Year
Logics for artificial intelligence
R Turner
4821984
Semantics and property theory
G Chierchia, R Turner
Linguistics and philosophy, 261-302, 1988
4141988
Philosophy of computer science
R Turner, AH Eden
Stanford University, 2008
208*2008
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1471990
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1471990
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1431987
Properties, Types and Meaning: Volume II: Semantic Issues
G Chierchia, BBH Partee, R Turner
Springer Science & Business Media, 2012
1322012
Constructive foundations for functional languages
R Turner
McGraw-Hill, 1991
681991
Constructive foundations for functional languages
R Turner
McGraw-Hill, 1991
681991
Turner, R.
R Turner
Minds and Machines 21 (2), 135-152, 2011
67*2011
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
612007
Properties, propositions and semantic theory
R Turner
Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992
531992
Computational linguistics and formal semantics
M Rosner, R Johnson
Cambridge University Press, 1992
521992
Montague semantics, nominalization and Scott's domains
R Turner
Linguistics and Philosophy, 259-288, 1983
481983
Programming languages as technical artifacts
R Turner
Philosophy & technology 27, 377-397, 2014
432014
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
352005
Computable models
R Turner
Springer, 2009
312009
Understanding programming languages
R Turner
Minds and Machines 17, 203-216, 2007
312007
Types
R Turner
Handbook of logic and language, 535-586, 1997
291997
The system can't perform the operation now. Try again later.
Articles 1–20