Raymond Turner

Available identifiers

zbMath Open turner.raymondWikidataQ7298221 ScholiaQ7298221MaRDI QIDQ236812

List of research outcomes

Publication	Date of Publication	Type
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
Nominalization and Scott's domains. II	1985-01-01	Paper
Three theories of nominalized predicates	1985-01-01	Paper
An Introduction to the Formal Specification of Relational Query Languages	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Raymond Turner