- Algebraic Operations and Generic Effects Gordon Plotkin and John Power
- Three Inadequate Models Gordon Plotkin
- A Logical View of Composition Martin Abadi
- Finite Dimensional Vector Spaces are Complete for Traced Symmetric Monoidal Categories
- Configuration Structures R.J. van Glabbeek
- THE JOURNALOF SYSTOLIc LoGIc Volume 39, Number 2, June 1974
- SIAM J. COMPUT. Vol. 5, No. 3, September 1976
- Theoretical Computer Science 5 (1977) 223-255. @ Korth-Holland Publishi
- JOURNAL OF COMPUTER AND SYSTEM SCIENCES 17, 209-236 (1978) TU as a Universal Domain
- A Framework for Intuitionistlc Modal Logics (Extended Abstract)
- An ideal model for recursive polymorphic types David MacQueen
- SIAM J. COMPUT. Vol. 16, No. I, February 1987
- FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
- A Per Model of Polymorphism and Recursive Types
- A Logic for Parametric Polymorphism Gordon Plotkin
- Nordic Journal of Computing Uncountable Limits and the Lambda Calculus
- An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
- A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte
- Adequacy for Algebraic Effects Gordon Plotkin and John Power
- Combining computational effects: commutativity Martin Hyland,1
- Computational effects and operations: an Gordon Plotkin and John Power 1
- The Origins of Structural Operational Semantics Gordon D. Plotkin
- Logic for Computational Effects: work in progress Gordon Plotkin and John Power
- Combining continuations with other effects Martin Hyland,1
- Event Structures for Resolvable Conflict Rob van Glabbeek and Gordon Plotkin
- On the completeness of order-theoretic models of the Furio Honsell a
- A Logic for Algebraic Effects Gordon Plotkin
- A Model of Cooperative Threads Martin Abadi
- A Language for Biochemical Systems Michael Pedersen and Gordon Plotkin
- Approximating Markov Processes By Averaging Philippe Chaput1
- On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin
- MULTI-LEVEL MODELLING VIA STOCHASTIC MULTI-LEVEL MULTISET REWRITING
- An Illative Theory of Relations Gordon Plotkin
- A TERM MODEL FOR CCS M.C.B. Hennessy and G.D. Plotkin
- Full completeness of the multiplicative linear logic of Chu spaces HARISH DEVARAJAN
- On a Question of H. Friedman Gordon Plotkin
- An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
- Towards a Mathematical Operational Semantics Daniele Turi
- A Set-Theoretical Definition of Application Gordon Plotkin1
- Theoretical Computer Science 13 (198 1) 85-l J8 @ North-I!olland Publishing Company
- Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
- ANALYSIS OF AN EXTENDED CONCEPT-LEARNING TASK
- Logical Full Abstraction and PCF John Longley Gordon Plotkin
- Tensors of Comodels and Models for Operational Semantics
- A Calculus for Access Control in Distributed Systems MARTIN ABADI, MICHAEL BURROWS, and BUTLER LAMPSON
- Notions of Computation Determine Monads Gordon Plotkin and John Power
- Under consideration for publication in Math. Struct. in Comp. Science Predicate Transformers for Convex
- From Action Calculi to Linear Logic Andrew Barber1
- GORDON PLOTKIN Department of Computer Science
- A Structural Approach to Operational Semantics G. D. Plotkin
- A Domain-Theoretic Banach-Alaoglu Theorem Gordon Plotkin
- DIJKSTRA'S PREDICATE TRANSFOI~IERSANDSMYTH'S POWERDOMAINS G.D. Plotkin
- FULL ABSTRACTION FOR A SIMPLE PARALLEL PROGRAMMINGLANGUAGE M.C.B. Hennessy
- ~q OPERATIONAL SEMANTICS FOR CSP (Extended Abstract)
- Full Abstraction, Totality and PCF Gordon Plotkin
- A Semantics for Static Type Inference Gordon Plotkin
- A Framework for Defining Logics Robert Harper
- Lax Logical Relations Gordon Plotkin1
- Bistructures, Bidomains and Linear Pierre-Louis Curien, LIENS, CNRSEcole Normale Superieure, Paris, France
- Complete Axioms for Categorical Fixed-point Operators Alex Simpson
- On Protection by Layout Randomization Martin Abadi
- Teams Can See Pomsets Extended Abstract
- Handlers of Algebraic Effects Gordon Plotkin and Matija Pretnar
- Concrete Domains Gilles Kahn
- SIAM J. COMPUT. Vol. 11, No. 4, November 1982
- Combining effects: sum and tensor Martin Hyland,1
- MFPS 17 Preliminary Version Semantics for algebraic operations
- The Compiler Forest Mihai Budiu
- Coloured Stochastic Multilevel Multiset Rewriting Nicolas Oury
