Publications available on-line

  1. 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

  2. Gordon Plotkin
    A Note on Inductive Generalisation

  3. Gordon Plotkin
    A Further Note on Inductive Generalisation

  4. Gordon Plotkin
    Building-in Equational Theories

  5. Gordon Plotkin
    Lambda-definability and logical relations

  6. Gordon Plotkin
    The λ-Calculus is ω-Incomplete

  7. Gordon Plotkin
    Call-by-Name, Call-by Value and the Lambda Calculus
    Reproduced from Theoretical Computer Science , Vol. 1, pp. 125-159, Copyright (1975), with permission from Elsevier.

  8. Gordon Plotkin
    A Powerdomain Construction @ Siam

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

  10. Richard M. Young, Gordon Plotkin and Reinhard F. Linz
    Analysis of an Extended Concept-Learning Task

  11. Gordon Plotkin
    Lambda-Definability in the Full Type Hierarchy

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

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

  14. Mathew Hennessy and Gordon Plotkin
    A Term Model for CCS

  15. Gordon Plotkin
    An Operational Semantics for CSP

  16. Gordon Plotkin
    Tω as a Universal Domain @ Elsevier

  17. 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.

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

  19. Luca Cardelli and Gordon Plotkin
    An Algebraic Approach to VLSI Design

  20. 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.

  21. Mike Smyth and Gordon Plotkin
    The Category-Theoretic Solution of Recursive Domain Equations @ Siam

  22. Gordon Plotkin
    A Powerdomain for Countable Nondeterminism

  23. Claire Jones and Gordon Plotkin
    A Probabilistic Powerdomain of Evaluations IEEE

  24. Gordon Plotkin and Colin Stirling
    A Framework for Intuitionistic Modal Logics

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

  26. Krzysztof Apt and Gordon Plotkin
    Countable Nondeterminism and Random Assignment

  27. Peter Mosses and Gordon Plotkin
    On Proving Limiting Completeness @ Siam

  28. John Mitchell and Gordon Plotkin
    Abstract Types have Existential Type

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

  30. Gordon Plotkin
    An Illative Theory of Relations

  31. Gordon Plotkin and Vaughan Pratt
    Teams Can See Posets

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

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

  34. Gordon Plotkin
    Type Theory and Recursion (Extended Abstract)

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

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

  37. Gilles Kahn and Gordon Plotkin
    Concrete Domains

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

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

  40. Gordon Plotkin
    Set-Theoretic and Other Elementary Models of the λ-Calculus

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

  42. Gordon Plotkin
    A Semantics for Static Type Inference

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

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

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

  46. Rob van Glabbeek and Gordon Plotkin
    Configuration Structures

  47. Gordon Plotkin
    On a Question of Friedman

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

  49. Daniele Turi and Gordon Plotkin
    Towards a Mathematical Operational Semantics

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

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

  52. John Longley and Gordon Plotkin
    Logical Full Abstraction and PCF

  53. Gordon Plotkin
    Full Abstraction, Totality and PCF

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

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

  56. Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel
    Bistructures, Bidomains and Linear Logic
    In Festchrift for Robin Milner , MIT Pess.

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

  58. Alex Simpson and Gordon Plotkin
    Complete Axioms for Categorical Fixed-point Operators

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

  60. Gordon Plotkin
    Three Inadequate Models

  61. Gordon Plotkin and John Power
    Adequacy for Algebraic Effects Springer-Verlag

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

  63. Gordon Plotkin
    Bialgebraic Semantics and Recursion (published by Elsevier)

  64. Gordon Plotkin and John Power
    Computational Effects Determine Monads Springer-Verlag
    Erratum

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

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

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

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

  69. Gordon Plotkin
    The Origins of Structural Operational Semantics

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

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

  72. Regina Tix, Klaus Keimel and Gordon Plotkin
    Semantic Domains for Combining Probability and Non-Determinism

  73. Rob van Glabbeek and Gordon Plotkin
    Event Structures for Resolvable Conflict

  74. Gordon Plotkin
    A Domain-Theoretic Banach-Alaoglu Theorem

  75. Gordon Plotkin
    Some Varieties of Equational Logic (Extended Abstract)

  76. 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 .

  77. Klaus Keimel and Gordon Plotkin
    Predicate Transformers for Convex Powerdomains

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

  79. Furio Honsell and Gordon Plotkin
    On the Completeness of Order-Theoretic Models of the λ-Calculus

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

  81. Gordon Plotkin and Matija Pretnar
    A Logic for Algebraic Effects

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

  83. Michael Pedersen and Gordon Plotkin
    A Language for Biochemical Systems

  84. Gordon Plotkin and Matija Pretnar
    Handlers of Algebraic Effects

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

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

  87. 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."

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

  89. 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 fatal-error case.
    Here is a full version.

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

  91. Nicolas Oury and Gordon Plotkin
    Multi-Level Modelling via Stochastic Multi-Level Multiset Rewriting

  92. Nicolas Oury and Gordon Plotkin
    Coloured Stochastic Multilevel Multiset Rewriting

  93. Ohad Kammar and Gordon Plotkin
    Algebraic Foundations for Effect-Dependent Optimisations

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

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

  96. Gordon Plotkin
    A Calculus of Chemical Systems

  97. Roberto Bruni, Ugo Montanari, Gordon Plotkin, and Daniele Terreni
    On Hierarchical Graphs: Reconciling Bigraphs, Gs-Monoidal Theories and Gs-Graphs

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

  99. Gordon Plotkin
    Partial Recursive Functions and Finality

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

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