An Algebraic Theory of Formal Languages. - Raymond Turner (MFCS, 1975)

Compiler generation and denotational semantics. - Martin R. Raskovsky; Raymond Turner (FCT, 1979)

Counterfactuals without possible worlds. - Raymond Turner (J. Philos. Log., 1981)

Completion Semantics, Interpreter Generation. - Martin C. Henson; Raymond Turner (POPL, 1982)

Logics for artificial intelligence. - Raymond Turner (Ellis Horwood, 1984)

An Introduction to the Formal Specification of Relational Query Languages. - Raymond Turner; Barry G. T. Lowden (Comput. J., 1985)

Nominalization and Scott's domains. II. - Raymond Turner (Notre Dame J. Formal Log., 1985)

Three theories of nominalized predicates. - Raymond Turner (Stud Logica, 1985)

A Constructive Set Theory for Program Development. - Martin C. Henson; Raymond Turner (FSTTCS, 1988)

Logics of Truth. - Raymond Turner (Notre Dame J. Formal Log., 1990)

A Formal Approach to Translating English into SQL. - Barry G. T. Lowden; B. Walls; Anne N. De Roeck; Chris Fox; Raymond Turner (BNCOD, 1991)

Helpful Answers To Modal And Hypothetical Questions. - Anne N. De Roeck; Richard Ball; Keith Brown; Chris Fox; Marjolein Groefsema; Nadim Obeid; Raymond Turner (EACL, 1991)

Logical foundations of nonmonotonic reasoning. - Nadim Obeid; Raymond Turner (Artif. Intell. Rev., 1991)

Lazy Theories of Operations and Types. - Raymond Turner (J. Log. Comput., 1993)

Weak Theories of Operations and Types. - Raymond Turner (J. Log. Comput., 1996)

Types. - Raymond Turner (Handbook of Logic and Language, 1997)

Reading Between the Lines in Constructive Type Theory. - Raymond Turner (J. Log. Comput., 1997)

Constructive Z. - Seyed-Hassan Mirian-Hosseinabadi; Raymond Turner (J. Log. Comput., 1998)

Natural language access to Yellow Pages. - Udo Kruschwitz; Anne N. De Roeck; Paul Scott 001; Sam Steel; Raymond Turner; Nick Webb (KES, 1999)

Sets, Types and Type-checking. - Raymond Turner (J. Log. Comput., 1999)

Extracting Semistructured Data - Lessons Learnt. - Udo Kruschwitz; Anne N. De Roeck; Paul Scott 001; Sam Steel; Raymond Turner; Nick Webb (Natural Language Processing, 2000)

The YPA - An Assistant for Classified Directory Enquiries. - Anne N. De Roeck; Udo Kruschwitz; Paul Scott 001; Sam Steel; Raymond Turner; Nick Webb (Intelligent Systems and Soft Computing, 2000)

Type inference for set theory. - Raymond Turner (Theor. Comput. Sci., 2001)

Semantics and Stratification. - Raymond Turner (J. Log. Comput., 2005)

The Foundations of Specification. - Raymond Turner (J. Log. Comput., 2005)

Computability in Specification. - Raymond Turner (J. Log. Comput., 2006)

Problems in the ontology of computer programs. - Amnon H. Eden; Raymond Turner (Appl. Ontology, 2007)

Understanding Programming Languages. - Raymond Turner (Minds Mach., 2007)

The Philosophy of Computer Science: Introduction to the Special Issue. - Raymond Turner; Amnon H. Eden (Minds Mach., 2007)

The Philosophy of Computer Science. - Raymond Turner; Amnon H. Eden (J. Appl. Log., 2008)

Computable Models. - Raymond Turner (J. Log. Comput., 2008)

Computable Models. - Raymond Turner (Springer, 2009)

Specification. - Raymond Turner (Minds Mach., 2011)

Computational Artifacts - Towards a Philosophy of Computer Science - Raymond Turner (Springer, 2018)

Correctness, Explanation and Intention. - Raymond Turner (CiE, 2019)

Computational Abstraction. - Raymond Turner (Entropy, 2021)