Raymond Turner

zbMath Openturner.raymondDBLP38/5695WikidataQ7298221 ScholiaQ7298221MaRDI QIDQ236812

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Representation and abstraction in theories of operations and classes	2024-08-23	Paper
Correctness, explanation and intention	2020-05-12	Paper
Computational artifacts. Towards a philosophy of computer science	2018-11-28	Paper
Machines A Computable Universe	2013-02-26	Paper
Computable Models	2008-10-02	Paper
Computable Models Journal Of Logic And Computation	2008-05-05	Paper
Computability in Specification Journal Of Logic And Computation	2007-04-13	Paper
The Foundations of Specification Journal Of Logic And Computation	2006-03-09	Paper
scientific article; zbMATH DE number 2188308 (Why is no real title available?)	2005-07-26	Paper
Semantics and Stratification Journal Of Logic And Computation	2005-07-13	Paper
Type inference for set theory Theoretical Computer Science	2002-03-03	Paper
Sets, types and type-checking Journal Of Logic And Computation	2000-07-31	Paper
Constructive Z Journal Of Logic And Computation	1998-12-10	Paper
Reading between the lines in constructive type theory Journal Of Logic And Computation	1997-06-10	Paper
Weak Theories of Operations and Types Journal Of Logic And Computation	1996-03-17	Paper
Lazy Theories of Operations and Types Journal Of Logic And Computation	1993-12-06	Paper
Logics of truth Notre Dame Journal of Formal Logic	1990-01-01	Paper
scientific article; zbMATH DE number 4148081 (Why is no real title available?)	1988-01-01	Paper
A theory of properties Journal of Symbolic Logic	1987-01-01	Paper
An Introduction to the Formal Specification of Relational Query Languages The Computer Journal	1985-01-01	Paper
Nominalization and Scott's domains. II Notre Dame Journal of Formal Logic	1985-01-01	Paper
Three theories of nominalized predicates Studia Logica	1985-01-01	Paper
Montague semantics, nominalization and Scott's domains Linguistics and Philosophy	1983-01-01	Paper
Counterfactuals without possible worlds Journal of Philosophical Logic	1981-01-01	Paper
scientific article; zbMATH DE number 3640912 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3509742 (Why is no real title available?)	1975-01-01	Paper

Research outcomes over time

This page was built for person: Raymond Turner