Raymond Turner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2021

Computational AbstractionRaymond Turner. entropy, 23(2):213, 2021. [doi]

2019

Correctness, Explanation and IntentionRaymond Turner. CiE 2019: 62-71 [doi]

2018

Computational Artifacts - Towards a Philosophy of Computer ScienceRaymond Turner. Springer, 2018. [doi]

2011

SpecificationRaymond Turner. mima, 21(2):135-152, 2011. [doi]

2009

Computable ModelsRaymond Turner. Springer, 2009. [doi]

2008

Computable ModelsRaymond Turner. logcom, 18(2):283-318, 2008. [doi]

The Philosophy of Computer ScienceRaymond Turner, Amnon H. Eden. japll, 6(4):459, 2008. [doi]

2007

Problems in the ontology of computer programsAmnon H. Eden, Raymond Turner. ao, 2(1):13-36, 2007. [doi]

Understanding Programming LanguagesRaymond Turner. mima, 17(2):203-216, 2007. [doi]

The Philosophy of Computer Science: Introduction to the Special IssueRaymond Turner, Amnon H. Eden. mima, 17(2):129-133, 2007. [doi]

2006

Computability in SpecificationRaymond Turner. logcom, 16(6):841-865, 2006. [doi]

2005

Semantics and StratificationRaymond Turner. logcom, 15(2):145-158, 2005. [doi]

The Foundations of SpecificationRaymond Turner. logcom, 15(5):623-662, 2005. [doi]

2001

Type inference for set theoryRaymond Turner. TCS, 266(1-2):951-974, 2001. [doi]

2000

Extracting Semistructured Data - Lessons LearntUdo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb. nlp 2000: 406-417 [doi]

The YPA - An Assistant for Classified Directory EnquiriesAnne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb. soft 2000: 239-258

1999

Natural language access to Yellow PagesUdo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb. kes 1999: 34-37 [doi]

Sets, Types and Type-checkingRaymond Turner. logcom, 9(6):959-975, 1999. [doi]

1998

Constructive ZSeyed-Hassan Mirian-Hosseinabadi, Raymond Turner. logcom, 8(1):49-70, 1998.

1997

Reading Between the Lines in Constructive Type TheoryRaymond Turner. logcom, 7(2):229-250, 1997.

TypesRaymond Turner. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 535-586, North Holland / Elsevier, 1997. [doi]

1996

Weak Theories of Operations and TypesRaymond Turner. logcom, 6(1):5-31, 1996.

1993

Lazy Theories of Operations and TypesRaymond Turner. logcom, 3(1):77-102, 1993.

1991

1990

Logics of TruthRaymond Turner. ndjfl, 31(2):308-329, 1990.

1988

A Constructive Set Theory for Program DevelopmentMartin C. Henson, Raymond Turner. fsttcs 1988: 329-347

1985

An Introduction to the Formal Specification of Relational Query LanguagesRaymond Turner, Barry G. T. Lowden. cj, 28(2):162-169, 1985.

Nominalization and Scott's domains. IIRaymond Turner. ndjfl, 26(4):463-478, 1985. [doi]

Three theories of nominalized predicatesRaymond Turner. sLogica, 44(2):165-186, 1985. [doi]

1984

Logics for artificial intelligenceRaymond Turner. Ellis Horwood series in artificial intelligence, Ellis Horwood, 1984.

1982

Completion Semantics, Interpreter GenerationMartin C. Henson, Raymond Turner. POPL 1982: 242-254

1981

Counterfactuals without possible worldsRaymond Turner. jphil, 10(4):453-493, 1981. [doi]

1979

Compiler generation and denotational semanticsMartin R. Raskovsky, Raymond Turner. fct 1979: 382-386

1975

An Algebraic Theory of Formal LanguagesRaymond Turner. mfcs 1975: 426-431

Sign in or sign up to see more results.

runs on WebDSL