The following pages link to Gordon D. Plotkin (Q371257):
Displaying 50 items.
- (Q265788) (redirect page) (← links)
- Layout randomization and nondeterminism (Q265789) (← links)
- Retracted: Semantic domains for combining probability and non-determinism (Q371258) (← links)
- Semantic domains for combining probability and non-determinism (Q371259) (← links)
- Robin Milner: 13 January 1934-20 March 2010 (Q607410) (← links)
- A logical view of composition (Q685416) (← links)
- Three inadequate models (Q699935) (← links)
- (Q843105) (redirect page) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- (Q1132084) (redirect page) (← links)
- \(\mathbb{T}^\omega\) as a universal domain (Q1132085) (← links)
- Petri nets, event structures and domains. I (Q1148680) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- LCF considered as a programming language (Q1243117) (← links)
- On functors expressible in the polymorphic typed lambda calculus (Q1260643) (← links)
- Concrete domains (Q1314355) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- A semantics for static type inference (Q1322480) (← links)
- A calculus of chemical systems (Q1799313) (← links)
- Algebraic operations and generic effects (Q1811033) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- A structural approach to operational semantics (Q1878719) (← links)
- On a question of H. Friedman (Q1917095) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- A complete equational axiomatisation of partial differentiation (Q2133478) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Cartesian closed categories of separable Scott domains (Q2253174) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- (Q2754136) (← links)
- (Q2771052) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- Scaling network verification using symmetry and surgery (Q2828246) (← links)
- Computational effects and operations: an overview (Q2851544) (← links)
- Handling algebraic effects (Q2871476) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Algebraic foundations for effect-dependent optimisations (Q2942885) (← links)
- Foundations of Differential Dataflow (Q2948552) (← links)
- (Q2980964) (← links)
- (Q3059185) (← links)
- A Model of Cooperative Threads (Q3064166) (← links)
- On CSP and the Algebraic Theory of Effects (Q3163411) (← links)
- (Q3204052) (← links)
- Handlers of Algebraic Effects (Q3617692) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- (Q3657409) (← links)
- (Q3680283) (← links)
- Countable nondeterminism and random assignment (Q3763571) (← links)
