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"

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

103. Michael Pedersen, Andrew Phillips, and Gordon Plotkin,
     A High-Level Language for Rule-Based Modelling
     

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

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

106. Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, and Alexandr Andoni,
     Interacting with Large Distributed Datasets Using Sketch
     

107. Radu Mardare, Prakash Panangaden, and Gordon Plotkin,
     Quantitative Algebraic Reasoning
     

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