Följ
raymond turner
raymond turner
Professor logic and computation Essex University
Verifierad e-postadress på essex.ac.uk
Titel
Citeras av
Citeras av
År
Logic for artificial intelligence
RW Turner
Prentice Hall PTR, 1984
4861984
Semantics and property theory
G Chierchia, R Turner
Linguistics and philosophy, 261-302, 1988
4191988
Philosophy of computer science
R Turner, AH Eden
Stanford University, 2008
216*2008
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1461987
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
1312012
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
551992
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
442014
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20