People

Professor Ray Turner

Emeritus Professor
School of Computer Science and Electronic Engineering
Professor Ray Turner

Profile

Qualifications

  • Ph.D. Mathematical Logic and Theoretical Computer Science University of London (1973)

  • Ph.D. Philosophy University of London (1981)

Research and professional activities

Research interests

Mathematical Logic

Philosophy of Mathematics

Theoretical Computer Science

Philosophy of Computer Science

Publications

Journal articles (22)

Raymond, T., Computability in Specification. Journal of Logic and Computation. 16 (6), 841-865

Turner, R., (2014). Programming Languages as Technical Artifacts. Philosophy & Technology. 27 (3), 377-397

Turner, R., (2011). Specification. Minds and Machines. 21 (2), 135-152

Turner, R., (2008). Computable Models. Journal of Logic and Computation. 18 (2), 283-318

Turner, R., (2007). Understanding Programming Languages. Minds and Machines. 17 (2), 203-216

Turner, R., (2005). The Foundations of Specification. Journal of Logic and Computation. 15 (5), 623-662

Turner, R., (2005). Semantics and Stratification. Journal of Logic and Computation. 15 (2), 145-158

Turner, R., (2001). Type inference for set theory. Theoretical Computer Science. 266 (1-2), 951-974

Turner, R., (1999). Sets, types and type-checking. Journal of Logic and Computation. 9 (6), 959-975

Mirian-Hosseinabadi, S-H. and Turner, R., (1998). Constructive Z. Journal of Logic and Computation. 8 (1), 49-70

Turner, R., (1997). Reading between the lines in constructive type theory. Journal of Logic and Computation. 7 (2), 229-250

TURNER, RAYMOND., (1996). Weak Theories of Operations and Types. Journal of Logic and Computation. 6 (1), 5-31

TURNER, RAYMOND., (1993). Lazy Theories of Operations and Types. Journal of Logic and Computation. 3 (1), 77-102

Obeid, N. and Turner, R., (1991). Logical foundations of nonmonotonic reasoning. Artificial Intelligence Review. 5 (1-2), 53-70

Turner, R., (1990). Logics of truth.. Notre Dame Journal of Formal Logic. 31 (2), 308-329

Chierchia, G. and Turner, R., (1988). Semantics and property theory. Linguistics and Philosophy. 11 (3), 261-302

Turner, R., (1987). A theory of properties . The Journal of Symbolic Logic. 52 (02), 455-472

Turner, R., (1985). Nominalization and Scott's domains. II.. Notre Dame Journal of Formal Logic. 26 (4), 463-478

Turner, R., (1985). An Introduction to the Formal Specification of Relational Query Languages. The Computer Journal. 28 (2), 162-169

Turner, R., (1985). Three theories of nominalized predicates. Studia Logica. 44 (2), 165-186

Turner, R., (1983). Montague semantics, nominalization and Scott's domains. Linguistics and Philosophy. 6 (2), 259-288

Turner, R., (1981). Counterfactuals without possible worlds. Journal of Philosophical Logic. 10 (4), 453-493

Books (7)

Turner, R., (2018). Computational Artifacts Towards a Philosophy of Computer Science. Springer. 3662555646. 9783662555644

Turner, R., (2009). Computable Models. Oxford University Press (OUP). 1848820526. 9781848820524

Turner, R., (1991). Truth and Modality for Knowledge Representation. Mit Press

Turner, R., (1991). Constructive Foundations for Functional Languages. McGraw-Hill Book Company Limited

Chierchia, G., Partee, BBH. and Turner, R., (1988). Properties, Types and Meaning Volume I: Foundational Issues. Springer Science & Business Media. 1556080670. 9781556080678

Chierchia, G., Partee, BBH. and Turner, R., (1988). Properties, Types and Meaning Volume II: Semantic Issues. Springer Science & Business Media. 1556080697. 9781556080692

Turner, R., (1984). Logics for Artificial Intelligence. Ellis-Horwood. 0-85312-713-1

Book chapters (4)

Turner, R., types. In: Handbook of Logic and Language. Editors: Van Benthem, J., . Elsevier. MIT.. 555- 607

Turner, R., (2013). Machines. In: A Computable Universe Understanding and Exploring Nature as Computation. Editors: Zenil, H., . World Scientific. 9814374296. 9789814374293

Fox, C. and Turner, R., (2012). In Defense of Axiomatic Semantics. In: Philosophical and Formal Approaches to Linguistic Analysis. Editors: Stalmaszczyk, P., . Ontos Verlag. 9783868381429

Turner, R., (2010). Programming Languages as Mathematical Theories. In: Thinking Machines and the Philosophy of Computer Science Concepts and Principles. Editors: VallverdĂș, J., . IGI Global. 1616920149. 9781616920142

Conferences (3)

Turner, R., An algebraic theory of formal languages

Henson, M. and Turner, R., (1982). Completion semantics and Interpreter Generation

Turner, R. and Raskovsky, M., (1979). Compiler generation and denotational semantics

Other (1)

Turner, R. and Angius, N., (2017).Philosophy of Computer Science