Publications available online

Gordon Plotkin
PhD Thesis:
Frontmatter
Chapter 1: Hypothesis discovery
Chapter 2: The generalisation problem
Chapter 3: The mathematics of generalisation
Chapter 4: Solvability of the general problem
Chapter 5: Applications and extensions
Chapter 6: Hypothesis learning theory
References

Gordon Plotkin
A Note on Inductive Generalisation

Gordon Plotkin
A Further Note on Inductive Generalisation

Gordon Plotkin
Buildingin Equational Theories

Gordon Plotkin
Lambdadefinability and logical relations

Gordon Plotkin
The λCalculus is ωIncomplete

Gordon Plotkin
CallbyName, Callby Value and the Lambda Calculus
Reproduced from
Theoretical Computer Science ,
Vol. 1, pp. 125159, Copyright (1975), with permission from Elsevier.

Gordon Plotkin
A Powerdomain Construction
@ Siam

Gordon Plotkin
LCF Considered as a Programming Language
Reproduced from
Theoretical Computer Science ,
Vol. 5, pp. 223255, Copyright (1977), with permission from Elsevier.

Richard M. Young, Gordon Plotkin and Reinhard F. Linz
Analysis of an Extended ConceptLearning Task

Gordon Plotkin
LambdaDefinability in the Full Type Hierarchy

Mathew Hennessy and Gordon Plotkin
Full Abstraction for a Simple Parallel Programming Language

Gordon Plotkin
Dijkstra's Predicate Transformers and Smyth's Powerdomains

Mathew Hennessy and Gordon Plotkin
A Term Model for CCS

Gordon Plotkin
An Operational Semantics for CSP

Gordon Plotkin
T^{ω}
as a Universal Domain
@ Elsevier

Gordon Plotkin
A Structural Approach to Operational Semantics
I am very grateful to Professor Tatsuya Hagino and his students for
preparing this Latex version of my Aarhus notes.
Please send me any
errors you notice.

Mogens Nielsen, Gordon Plotkin and Glynn Winskel
Petri Nets, Event Structures and Domains, Part I
Reproduced from
Theoretical Computer Science ,
Vol. 13, pp. 85108, Copyright (1981), with permission from Elsevier.

Luca Cardelli and Gordon Plotkin
An Algebraic Approach to VLSI Design

Gordon Plotkin
Pisa Notes (On Domain Theory)
a4 version
I am very grateful to Dr. Kashigawa and to Dr. Kondoh for preparing this electronic
edition of my notes on domain theory.

Mike Smyth and Gordon Plotkin
The CategoryTheoretic Solution of Recursive Domain Equations
@ Siam

Gordon Plotkin
A Powerdomain for Countable Nondeterminism

Claire Jones and Gordon Plotkin
A Probabilistic Powerdomain of Evaluations
©
IEEE

Gordon Plotkin and Colin Stirling
A Framework for Intuitionistic Modal Logics

David B. Macqueen, Gordon Plotkin and Ravi Sethi
An Ideal Model for Recursive Polymorphic Types

Krzysztof Apt and Gordon Plotkin
Countable Nondeterminism and Random Assignment

Peter Mosses and Gordon Plotkin
On Proving Limiting Completeness
@ Siam

John Mitchell and Gordon Plotkin
Abstract Types have Existential Type

Martín Abadi, Benjamin Pierce and Gordon Plotkin
Faithful Ideal Models for Recursive Polymorphic Types

Gordon Plotkin
An Illative Theory of Relations

Gordon Plotkin and Vaughan Pratt
Teams Can See Posets

Martín Abadi and Gordon Plotkin
A Per Model of Polymorphism and Recursive Types

Martín Abadi, Luca Cardelli, Benjamin Pierce and Gordon Plotkin
Dynamic Typing in a Statically Typed Language

Gordon Plotkin
Type Theory and Recursion (Extended Abstract)

John Reynolds and Gordon Plotkin
On Functors Expressible in the Polymorphic Typed Lambda Calculus

Robert Harper, Furio Honsell and Gordon Plotkin
A Framework for Defining Logics

Gilles Kahn and Gordon Plotkin
Concrete Domains

Martín Abadi and Gordon Plotkin
A Logical View of Composition

Gordon Plotkin and Martín Abadi
A Logic for Parametric Polymorphism

Gordon Plotkin
SetTheoretic and Other Elementary Models of the λCalculus

Martín Abadi, Michael Burrows, Butler Lampson and Gordon Plotkin
A Calculus for Access Control in Distributed Systems

Gordon Plotkin
A Semantics for Static Type Inference

Marcelo Fiore and Gordon Plotkin
An Axiomatisation of Computationally Adequate Domain Theoretic Models of
FPC

Gordon Plotkin, Martín Abadi and Luca Cardelli
Subtyping and Parametricity

Pietro di Gianantonio, Furio Honsell and Gordon Plotkin
Uncountable Limits and the Lambda Calculus

Rob van Glabbeek and Gordon Plotkin
Configuration Structures

Gordon Plotkin
On a Question of Friedman

Marcelo Fiore and Gordon Plotkin
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory

Daniele Turi and Gordon Plotkin
Towards a Mathematical Operational Semantics

Marcelo Fiore, Gordon Plotkin and John Power
Complete Cuboidal Sets in Axiomatic Domain Theory

Andrew Barber, Philippa Gardner, Masahito Hasegawa and Gordon Plotkin
From Action Calculi to Linear Logic

John Longley and Gordon Plotkin
Logical Full Abstraction and PCF

Gordon Plotkin
Full Abstraction, Totality and PCF

Harish Devarajan, Gordon Plotkin and Vaughan Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces

Marcelo Fiore, Gordon Plotkin and Daniele Turi
Abstract Syntax and Variable Binding

PierreLouis Curien, Gordon Plotkin and Glynn Winskel
Bistructures, Bidomains and Linear Logic
In
Festchrift for Robin Milner
, MIT Pess.

Gordon Plotkin, Colin Stirling and Mads Tofte
A Brief Scientific Biography of Robin Milner
In
Festchrift for Robin Milner
, MIT Pess.

Alex Simpson and Gordon Plotkin
Complete Axioms for Categorical Fixedpoint Operators

Gordon Plotkin, John Power, Don Sannella and Robert Tennent
Lax Logical Relations

Gordon Plotkin
Three Inadequate Models

Gordon Plotkin and John Power
Adequacy for Algebraic Effects
©
SpringerVerlag

Gordon Plotkin and John Power
Semantics for Algebraic Operations
(published by Elsevier)

Gordon Plotkin
Bialgebraic Semantics and Recursion
(published by Elsevier)

Gordon Plotkin and John Power
Computational Effects Determine Monads
© SpringerVerlag
Erratum

Martin Hyland, Gordon Plotkin and John Power
Combining Computational Effects: Commutativity and Sum

Gordon Plotkin and John Power
Computational Effects and Operations: an Overview

Gordon Plotkin and John Power
Algebraic Operations and Generic Effects
This is the journal version of "Semantics for Algebraic Operations"

Martin Hyland, Gordon Plotkin and John Power
Combining Effects: Sum and Tensor
This is the journal version of "Combining Computational Effects: Commutativity and Sum"

Gordon Plotkin
The Origins of Structural Operational Semantics

Gordon Plotkin and John Power
Logic for Computational Effects: work in progress

Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
Combining Continuations with other Effects

Regina Tix, Klaus Keimel and Gordon Plotkin
Semantic Domains for Combining Probability and NonDeterminism

Rob van Glabbeek and Gordon Plotkin
Event Structures for Resolvable Conflict

Gordon Plotkin
A DomainTheoretic BanachAlaoglu Theorem

Gordon Plotkin
Some Varieties of Equational Logic (Extended Abstract)

Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
Combining Algebraic Effects with Continuations
This is the journal version of
"Combining Continuations with other Effects"; it is part of a
Festschrift for John Reynolds
published in
Theoretical Computer Science .

Klaus Keimel and Gordon Plotkin
Predicate Transformers for Convex Powerdomains

Masahito Hasegawa, Martin Hofmann and Gordon Plotkin
Finite Dimensional Vector Spaces are Complete
for Traced Symmetric Monoidal Categories

Furio Honsell and Gordon Plotkin
On the Completeness of OrderTheoretic Models of the λCalculus

Gordon Plotkin and John Power
Tensors of Comodels and Models for Operational Semantics

Gordon Plotkin and Matija Pretnar
A Logic for Algebraic Effects

Martín Abadi and Gordon Plotkin
A Model of Cooperative Threads

Michael Pedersen and Gordon Plotkin
A Language for Biochemical Systems

Gordon Plotkin and Matija Pretnar
Handlers of Algebraic Effects

Philippe Chaput, Vincent Danos, Prakash Panangaden and Gordon
Plotkin
Approximating Markov Processes By Averaging

Rob van Glabbeek and Gordon Plotkin
Configuration Structures, Event Structures and Petri Nets
This is the journal version of "Configuration Structures"

Michael Pedersen and Gordon Plotkin
A Language for Biochemical Systems: Design and Formal Specification
This is the journal version of "A Language for Biochemical Systems."

Rob van Glabbeek and Gordon Plotkin
CSP and the Algebraic Theory of Effects

Martín Abadi and Gordon Plotkin
On Protection by Layout Randomization
This corrects some errors in the confererence version; it also has an Appendix on the fatalerror case.
Here
is a full version.

Martín Abadi and Gordon Plotkin
A Model of Cooperative Threads
This is the journal version.

Nicolas Oury and Gordon Plotkin
MultiLevel Modelling via Stochastic MultiLevel
Multiset Rewriting

Nicolas Oury and Gordon Plotkin
Coloured Stochastic Multilevel Multiset Rewriting

Ohad Kammar and Gordon Plotkin
Algebraic Foundations for EffectDependent Optimisations

Mihai Budiu, Joel Galenson, and Gordon Plotkin
The Compiler Forest

Martín Abadi and Gordon Plotkin
On Protection by Layout Randomization
This is the journal version.

Gordon Plotkin
A Calculus of Chemical Systems

Roberto Bruni, Ugo Montanari, Gordon Plotkin, and Daniele Terreni
On Hierarchical Graphs: Reconciling Bigraphs,
GsMonoidal Theories and GsGraphs

Philippe Chaput, Vincent Danos, Prakash Panangaden and Gordon
Plotkin
Approximating Markov Processes By Averaging
This is the journal version

Gordon Plotkin
Partial Recursive Functions and Finality

Andrej Bauer, Gordon Plotkin, and Dana Scott
Cartesian Closed Categories of Separable Scott Domains

Matija Pretnar and Gordon Plotkin
Handling Algebraic Effects
This is the journal version of "Handlers of Algebraic Effects"

Martín Abadi, Frank McSherry and Gordon Plotkin,
Foundations of Differential Dataflow

Danel Ahman, Neil Ghani, and Gordon D. Plotkin,
Dependent Types and Fibred Computational Effects

Gordon Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, and George Varghese
Scaling Network Verification Using Symmetry and Surgery

Klaus Keimel and Gordon Plotkin,
Mixed powerdomains for probability and nondeterminism