The following pages link to Raymond Turner (Q236812):
Displaying 27 items.
- Logics of truth (Q920976) (← links)
- Nominalization and Scott's domains. II (Q1068077) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- Counterfactuals without possible worlds (Q1161515) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Correctness, explanation and intention (Q2179349) (← links)
- Semantics and Stratification (Q3025331) (← links)
- The Foundations of Specification (Q3374096) (← links)
- Computability in Specification (Q3431976) (← links)
- (Q3478405) (← links)
- Computable Models (Q3528043) (← links)
- Montague semantics, nominalization and Scott's domains (Q3671943) (← links)
- An Introduction to the Formal Specification of Relational Query Languages (Q3683561) (← links)
- A theory of properties (Q3765745) (← links)
- (Q4089797) (← links)
- (Q4199565) (← links)
- Lazy Theories of Operations and Types (Q4272506) (← links)
- Reading between the lines in constructive type theory (Q4340420) (← links)
- Constructive Z (Q4399513) (← links)
- Computational Artifacts (Q4557014) (← links)
- Weak Theories of Operations and Types (Q4870065) (← links)
- Machines (Q4907913) (← links)
- Sets, types and type-checking (Q4943506) (← links)
- Computable Models (Q5385205) (← links)
- (Q5461405) (← links)
- Type inference for set theory (Q5958782) (← links)
- Representation and abstraction in theories of operations and classes (Q6592053) (← links)