Raymond Turner

According to our database, Raymond Turner authored at least 36 papers between 1975 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Computational Abstraction.

Raymond Turner

Entropy, 2021

2019

Correctness, Explanation and Intention.

Raymond Turner

Proceedings of the Computing with Foresight and Industry, 2019

2018

Computational Artifacts - Towards a Philosophy of Computer Science

Raymond Turner

Springer, ISBN: 978-3-662-55564-4, 2018

2011

Specification.

Raymond Turner

Minds Mach., 2011

2009

Computable Models.

Raymond Turner

Springer, ISBN: 978-1-84882-052-4, 2009

2008

Computable Models.

Raymond Turner

J. Log. Comput., 2008

The Philosophy of Computer Science.

Raymond Turner, Amnon H. Eden

J. Appl. Log., 2008

2007

The Philosophy of Computer Science: Introduction to the Special Issue.

Raymond Turner, Amnon H. Eden

Minds Mach., 2007

Understanding Programming Languages.

Raymond Turner

Minds Mach., 2007

Problems in the ontology of computer programs.

Amnon H. Eden, Raymond Turner

Appl. Ontology, 2007

2006

Computability in Specification.

Raymond Turner

J. Log. Comput., 2006

2005

The Foundations of Specification.

Raymond Turner

J. Log. Comput., 2005

Semantics and Stratification.

Raymond Turner

J. Log. Comput., 2005

2001

Type inference for set theory.

Raymond Turner

Theor. Comput. Sci., 2001

2000

The YPA - An Assistant for Classified Directory Enquiries.

Anne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb

Proceedings of the Intelligent Systems and Soft Computing: Prospects, 2000

Extracting Semistructured Data - Lessons Learnt.

Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb

Proceedings of the Natural Language Processing, 2000

1999

Sets, Types and Type-checking.

Raymond Turner

J. Log. Comput., 1999

Natural language access to Yellow Pages.

Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb

Proceedings of the Third International Conference on Knowledge-Based Intelligent Information Engineering Systems, 1999

1998

Constructive Z.

Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner

J. Log. Comput., 1998

1997

Reading Between the Lines in Constructive Type Theory.

Raymond Turner

J. Log. Comput., 1997

Types.

Raymond Turner

Proceedings of the Handbook of Logic and Language., 1997

1996

Weak Theories of Operations and Types.

Raymond Turner

J. Log. Comput., 1996

1993

Lazy Theories of Operations and Types.

Raymond Turner

J. Log. Comput., 1993

1991

Logical foundations of nonmonotonic reasoning.

Nadim Obeid, Raymond Turner

Artif. Intell. Rev., 1991

Helpful Answers To Modal And Hypothetical Questions.

Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner

Proceedings of the EACL 1991, 1991

A Formal Approach to Translating English into SQL.

Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner

Proceedings of the Aspects of Databases, 1991

1990

Logics of Truth.

Raymond Turner

Notre Dame J. Formal Log., 1990

1988

A Constructive Set Theory for Program Development.

Martin C. Henson, Raymond Turner

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1985

Three theories of nominalized predicates.

Raymond Turner

Stud Logica, 1985

Nominalization and Scott's domains. II.

Raymond Turner

Notre Dame J. Formal Log., 1985

An Introduction to the Formal Specification of Relational Query Languages.

Raymond Turner, Barry G. T. Lowden

Comput. J., 1985

1984

Logics for artificial intelligence.

Raymond Turner

Ellis Horwood series in artificial intelligence, Ellis Horwood, ISBN: 978-0-85312-713-0, 1984

1982

Completion Semantics, Interpreter Generation.

Martin C. Henson, Raymond Turner

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

Counterfactuals without possible worlds.

Raymond Turner

J. Philos. Log., 1981

1979

Compiler generation and denotational semantics.

Martin R. Raskovsky, Raymond Turner

Proceedings of the Fundamentals of Computation Theory, 1979

1975

An Algebraic Theory of Formal Languages.

Raymond Turner

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975