raymond turner - Publications List

Books

2009

Raymond Turner (2009) Computable Models Springer

Abstract:

Notes:

1991

Raymond Turner (1991) Constructive Foundations for Functional Languages Prentice Hall

Abstract:

Notes:

1990

Raymond Turner (1990) Truth and Modality for Knowledge Representation MIT

Abstract:

Notes:

1984

Raymond Turner (1984) Logics for Artificial Intelligence

Abstract:

Notes:

Journal articles

2007

DOI

Raymond Turner (2007) Computable Models JOURNAL OF LOGIC AND COMPUTATION

Abstract:

Notes:

DOI

Raymond Turner (2007) Understanding Programming Languages Minds and Machines

Abstract:

Notes:

2006

R Turner (2006) Computability in specification JOURNAL OF LOGIC AND COMPUTATION 16: 6. 841-865 DEC

Abstract:

Notes:

2005

R Turner (2005) Semantics and stratification JOURNAL OF LOGIC AND COMPUTATION 15: 2. 145-158 APR

Abstract:

Notes:

R Turner (2005) The foundations of specification JOURNAL OF LOGIC AND COMPUTATION 15: 5. 623-662 OCT

Abstract:

Notes:

2001

R Turner (2001) Type inference for set theory THEORETICAL COMPUTER SCIENCE 266: 1-2. 951-974 SEP 6

Abstract:

Notes:

1999

R Turner (1999) Sets, types and type-checking JOURNAL OF LOGIC AND COMPUTATION 9: 6. 959-975 DEC

Abstract:

Notes:

1998

S H Mirian-Hosseinabadi, R Turner (1998) Constructive Z JOURNAL OF LOGIC AND COMPUTATION 8: 1. 49-70 FEB

Abstract:

Notes:

1997

R Turner (1997) Reading between the lines in constructive type theory JOURNAL OF LOGIC AND COMPUTATION 7: 2. 229-250 APR

Abstract:

Notes:

1996

R Turner (1996) Weak theories of operations and types JOURNAL OF LOGIC AND COMPUTATION 6: 1. 5-31 FEB

Abstract:

Notes:

1993

DOI

Raymond Turner (1993) Lazy Theories of Operations and Types JOURNAL OF LOGIC AND COMPUTATION 3: 1. 77-102

Abstract:

Notes:

1991

N Obeid, R Turner (1991) LOGICAL-FOUNDATIONS OF NONMONOTONIC REASONING ARTIFICIAL INTELLIGENCE REVIEW 5: 1-2. 53-70

Abstract:

Notes:

1990

Raymond Turner (1990) LOGICS OF TRUTH Notre Dame Journal of Formal Logic 31: 2. 308-332

Abstract:

Notes:

1988

G Chierchia, R Turner (1988) SEMANTICS AND PROPERTY THEORY LINGUISTICS AND PHILOSOPHY 11: 3. 261-302 AUG

Abstract:

Notes:

1987

R Turner (1987) A THEORY OF PROPERTIES JOURNAL OF SYMBOLIC LOGIC 52: 2. 455-472 JUN

Abstract:

Notes:

1985

DOI

Raymond Turner (1985) Three theories of nominalized predicates Studia Logica 44: 2. 165-186 June

Abstract:

Notes:

R Turner, B G T Lowden (1985) AN INTRODUCTION TO THE FORMAL SPECIFICATION OF RELATIONAL QUERY LANGUAGES COMPUTER JOURNAL 28: 2. 162-169

Abstract:

Notes:

1983

R Turner (1983) MONTAGUE SEMANTICS, NOMINALIZATION AND SCOTT DOMAINS LINGUISTICS AND PHILOSOPHY 6: 2. 259-288

Abstract:

Notes:

1981

R Turner (1981) COUNTERFACTUALS WITHOUT POSSIBLE WORLDS JOURNAL OF PHILOSOPHICAL LOGIC 10: 4. 453-493

Abstract:

Notes:

Book chapters

2005

Raymond Turner (2005) TYPES In: HANDBOOK OF LOGIC AND LANGUAGE Edited by:J.W VAN BENTHEM.

Abstract:

Notes:

1992

Raymond Turner (1992) Properties, propositions and semantic theory In: Computational Linguistics and Formal Semantics Edited by:M. Rosner, J. Johnson. 156-180 Cambridge University Press

Abstract:

Notes:

Conference papers

1988

Martin Henson, Raymond Turner (1988) A Constructive Set Theory for Program Development. In: FSTTCS 329-347

Abstract:

Notes:

1982

Martin C Henson, Raymond Turner (1982) Completion Semantics, Interpreter Generation. In: POPL 242-254

Abstract:

Notes:

1979

Martin R Raskovsky, Raymond Turner (1979) Compiler generation and denotational semantics. In: MFCS 382-386

Abstract:

Notes:

1975

Raymond Turner (1975) An Algebraic Theory of Formal Languages. In: MFCS 426-431

Abstract:

Notes: