Raymond Turner

Available identifiers

zbMath Open turner.raymondDBLP38/5695WikidataQ7298221 ScholiaQ7298221MaRDI QIDQ236812

List of research outcomes

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	2018-11-28	Paper
Machines	2013-02-26	Paper
Computable Models	2008-10-02	Paper
Computable Models	2008-05-05	Paper
Computability in Specification	2007-04-13	Paper
The Foundations of Specification	2006-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5461405	2005-07-26	Paper
Semantics and Stratification	2005-07-13	Paper
Type inference for set theory	2002-03-03	Paper
Sets, types and type-checking	2000-07-31	Paper
Constructive Z	1998-12-10	Paper
Reading between the lines in constructive type theory	1997-06-10	Paper
Weak Theories of Operations and Types	1996-03-17	Paper
Lazy Theories of Operations and Types	1993-12-06	Paper
Logics of truth	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3478405	1988-01-01	Paper
A theory of properties	1987-01-01	Paper
An Introduction to the Formal Specification of Relational Query Languages	1985-01-01	Paper
Nominalization and Scott's domains. II	1985-01-01	Paper
Three theories of nominalized predicates	1985-01-01	Paper
Montague semantics, nominalization and Scott's domains	1983-01-01	Paper
Counterfactuals without possible worlds	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4199565	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4089797	1975-01-01	Paper

Research outcomes over time

This page was built for person: Raymond Turner