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
   Building-in Equational Theories
   
   
3. Gordon Plotkin
   The λ-Calculus is ω-Incomplete
   
   
4. 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.
   

5. Gordon Plotkin
   A Powerdomain Construction @ Siam

6. Gordon Plotkin
   LCF Considered as a Programming Language
   Reproduced from Theoretical Computer Science , Vol. 5, pp. 223-255, Copyright (1977), with permission from Elsevier.
   
   
7. Richard M. Young, Gordon Plotkin and Reinhard F. Linz
   Analysis of an Extended Concept-Learning Task

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

9. Mathew Hennessy and Gordon Plotkin
   Full Abstraction for a Simple Parallel Programming Language
   
   
10. Gordon Plotkin
    Dijkstra's Predicate Transformers and Smyth's Powerdomains
    

11. Mathew Hennessy and Gordon Plotkin
    A Term Model for CCS
    
    
12. Gordon Plotkin
    An Operational Semantics for CSP
    
    
13. Gordon Plotkin
    T^ω as a Universal Domain @ Elsevier

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

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

16. Luca Cardelli and Gordon Plotkin
    An Algebraic Approach to VLSI Design
    
    
17. 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.

18. Mike Smyth and Gordon Plotkin
    The Category-Theoretic Solution of Recursive Domain Equations @ Siam
    
    
19. Gordon Plotkin
    A Powerdomain for Countable Nondeterminism

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

21. Gordon Plotkin and Colin Stirling
    A Framework for Intuitionistic Modal Logics
    
    
22. David B. Macqueen, Gordon Plotkin and Ravi Sethi
    An Ideal Model for Recursive Polymorphic Types
    
    
23. Krzysztof Apt and Gordon Plotkin
    Countable Nondeterminism and Random Assignment

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

25. John Mitchell and Gordon Plotkin
    Abstract Types have Existential Type
    
    
26. Martín Abadi, Benjamin Pierce and Gordon Plotkin
    Faithful Ideal Models for Recursive Polymorphic Types

27. Gordon Plotkin
    An Illative Theory of Relations

28. Gordon Plotkin and Vaughan Pratt
    Teams Can See Posets

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

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

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

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

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

34. Gilles Kahn and Gordon Plotkin
    Concrete Domains

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

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

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

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

39. Gordon Plotkin
    A Semantics for Static Type Inference
    

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

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

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

43. Rob van Glabbeek and Gordon Plotkin
    Configuration Structures
    

44. Gordon Plotkin
    On a Question of Friedman
    

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

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

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

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

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

50. Gordon Plotkin
    Full Abstraction, Totality and PCF
    

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

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

53. Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel
    Bistructures, Bidomains and Linear Logic
    In Festchrift for Robin Milner , MIT Pess.
    
    
54. Gordon Plotkin, Colin Stirling and Mads Tofte
    A Brief Scientific Biography of Robin Milner
    In Festchrift for Robin Milner , MIT Pess.
    

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

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

57. Gordon Plotkin
    Three Inadequate Models
    

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

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

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

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

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

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

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

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

66. Gordon Plotkin
    The Origins of Structural Operational Semantics
    

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

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

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

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

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

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

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

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

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

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

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

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

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

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

81. Gordon Plotkin and Matija Pretnar
    Handlers of Algebraic Effects

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

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

84. 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."
    
    
85. Rob van Glabbeek and Gordon Plotkin
    CSP and the Algebraic Theory of Effects
    

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

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

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

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

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

91. Matija Pretnar and Gordon Plotkin
    Handling Algebraic Effects
    

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