Ray Turner (computer scientist)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Ray Turner
Born (1947-04-28) 28 April 1947 (age 71)
England
NationalityBritish
OccupationProfessor
EmployerUniversity of Essex
Known forPublications on logic in computer science and the philosophy of computer science

Professor Raymond Turner (born 28 April 1947) is an English logician, philosopher and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation[1] and the Stanford Encyclopaedia of Philosophy, for Logic, Computation, and Agency.[2]. Covey award 2017.[1]].

Books[edit]

  • Logics for Artificial Intelligence, 121 pages, E. Horwood, 1984, ISBN 0-470-20123-1
  • Truth and Modality for Knowledge Representation, 119 pages, Pitman, 1990, ISBN 0-273-03186-4
  • Constructive Foundations for Functional Languages, 288 pages, McGraw-Hill Publishing Co, 1 May 1991, ISBN 0-07-707411-4
  • Computable Models, 240 pages, Springer, 2009, ISBN 1-84882-051-8
  • Computational Artefacts: Towards a Philosophy of Computer Science, 285 pages, Springer, 2018, ISBN 978-3-662-55565-1

Journal Papers[edit]

  • Computable Models, Journal of Logic and Computation. 18 (2), 283-318
  • Understanding Programming Languages, Minds and Machines. 17 (2), 203-216
  • The Foundations of Specification Journal of Logic and Computation. 15 (5), 623-662
  • Semantics and Stratification, Journal of Logic and Computation. 15 (2), 145-158
  • Type inference for set theory, Theoretical Computer Science. 266 (1-2), 951-974
  • Sets, types and type-checking, Journal of Logic and Computation. 9 (6), 959-975
  • Constructive Z. Journal of Logic and Computation, 8 (1), 49-70
  • Reading between the lines in constructive type theory, Journal of Logic and Computation. 7 (2), 229-250
  • Weak Theories of Operations and Types, Journal of Logic and Computation. 6 (1), 5-31
  • Lazy Theories of Operations and Types, Journal of Logic and Computation. 3 (1), 77-102
  • Logics of truth, Notre Dame Journal of Formal Logic. 31 (2), 308-329
  • Semantics and property theory, Linguistics and Philosophy. 11 (3), 261-302
  • A theory of properties, The Journal of Symbolic Logic. 52 (02), 455-472
  • Counterfactuals without possible worlds, Journal of Philosophical Logic. 10 (4), 453-493

References[edit]