Publications available on-line

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

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

  3. Gordon Plotkin
    An Illative Theory of Relations
    pdf

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

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

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

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

  8. Gilles Kahn and Gordon Plotkin
    Concrete Domains
    pdf

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

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

  11. Gordon Plotkin
    Set-Theoretic and Other Elementary Models of the -Calculus
    pdf

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

  13. Gordon Plotkin
    A Semantics for Static Type Inference
    pdf

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

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

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

  17. Rob van Glabbeek and Gordon Plotkin
    Configuration Structures
    pdf

  18. Gordon Plotkin
    On a Question of Friedman
    pdf

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

  20. Daniele Turi and Gordon Plotkin
    Towards a Mathematical Operational Semantics
    pdf

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

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

  23. John Longley and Gordon Plotkin
    Logical Full Abstraction and PCF
    pdf

  24. Gordon Plotkin
    Full Abstraction, Totality and PCF
    pdf

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

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

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

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

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

  30. Gordon Plotkin
    Three Inadequate Models
    pdf

  31. Gordon Plotkin
    Adequacy for Algebraic Effects
    pdf