publications:
- title: "Faithful Ideal Models for Recursive Polymorphic Types"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1989"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiPP89"
  cites: 0
  citedby: 0
  pages: "216-225"
  booktitle: "Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbadiPP89"
- title: "Towards a Mathematical Operational Semantics"
  author:
  - name: "Daniele Turi"
    link: "https://researchr.org/alias/daniele-turi"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1997"
  doi: "http://www.computer.org/proceedings/lics/7925/79250280abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/lics/7925/79250280abs.htm"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/TuriP97"
  cites: 0
  citedby: 0
  pages: "280-291"
  booktitle: "LICS"
  kind: "inproceedings"
  key: "TuriP97"
- title: "A Logic for Algebraic Effects"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Matija Pretnar"
    link: "https://researchr.org/alias/matija-pretnar"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2008.45"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2008.45"
  tags:
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/PlotkinP08%3A0"
  cites: 0
  citedby: 0
  pages: "118-129"
  booktitle: "Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3183-0"
  kind: "inproceedings"
  key: "PlotkinP08:0"
- title: "Complete Cuboidal Sets in Axiomatic Domain Theory"
  author:
  - name: "Marcelo P. Fiore"
    link: "https://researchr.org/alias/marcelo-p.-fiore"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "A. John Power"
    link: "https://researchr.org/alias/a.-john-power"
  year: "1997"
  doi: "http://www.computer.org/proceedings/lics/7925/79250268abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/lics/7925/79250268abs.htm"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/FiorePP97"
  cites: 0
  citedby: 0
  pages: "268-279"
  booktitle: "LICS"
  kind: "inproceedings"
  key: "FiorePP97"
- title: "A Logic for Parametric Polymorphism"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PlotkinA93"
  cites: 0
  citedby: 0
  pages: "361-375"
  booktitle: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  editor:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56517-5"
  kind: "inproceedings"
  key: "PlotkinA93"
- title: "Set-Theoretical and Other Elementary Models of the lambda-Calculus"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1993"
  researchr: "https://researchr.org/publication/Plotkin93%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "121"
  number: "1&2"
  pages: "351-409"
  kind: "article"
  key: "Plotkin93:0"
- title: "A brief scientific biography of Robin Milner"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Colin Stirling"
    link: "https://researchr.org/alias/colin-stirling"
  - name: "Mads Tofte"
    link: "https://researchr.org/alias/mads-tofte"
  year: "2000"
  researchr: "https://researchr.org/publication/PlotkinST00"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "Proof, Language, and Interaction, Essays in Honour of Robin Milner"
  editor:
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  - name: "Colin Stirling"
    link: "https://researchr.org/alias/colin-stirling"
  - name: "Mads Tofte"
    link: "https://researchr.org/alias/mads-tofte"
  publisher: "The MIT Press"
  isbn: "978-0-262-16188-6"
  kind: "inproceedings"
  key: "PlotkinST00"
- title: "Countable Non-Determinism and Uncountable Limits"
  author:
  - name: "Pietro Di Gianantonio"
    link: "https://researchr.org/alias/pietro-di-gianantonio"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Silvia Liani"
    link: "https://researchr.org/alias/silvia-liani"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1994"
  researchr: "https://researchr.org/publication/GianantonioHLP94"
  cites: 0
  citedby: 0
  pages: "130-145"
  booktitle: "CONCUR  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings"
  editor:
  - name: "Bengt Jonsson"
    link: "https://researchr.org/alias/bengt-jonsson"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  volume: "836"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58329-7"
  kind: "inproceedings"
  key: "GianantonioHLP94"
- title: "Algebraic Operations and Generic Effects"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2003"
  doi: "http://dx.doi.org/10.1023/A:1023064908962"
  links:
    doi: "http://dx.doi.org/10.1023/A:1023064908962"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/PlotkinP03%3A0"
  cites: 0
  citedby: 0
  journal: "Applied Categorical Structures"
  volume: "11"
  number: "1"
  pages: "69-94"
  kind: "article"
  key: "PlotkinP03:0"
- title: "Call-by-Name, Call-by-Value and the lambda-Calculus"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1975"
  researchr: "https://researchr.org/publication/Plotkin75"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "1"
  number: "2"
  pages: "125-159"
  kind: "article"
  key: "Plotkin75"
- title: "A Framework for Intuitionistic Modal Logics"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Colin Stirling"
    link: "https://researchr.org/alias/colin-stirling"
  year: "1986"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/PlotkinS86"
  cites: 0
  citedby: 0
  pages: "399-406"
  booktitle: "Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986"
  editor:
  - name: "Joseph Y. Halpern"
    link: "https://researchr.org/alias/joseph-y.-halpern"
  publisher: "Morgan Kaufmann"
  isbn: "0-934613-04-4"
  kind: "inproceedings"
  key: "PlotkinS86"
- title: "A Powerdomain Construction"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1976"
  researchr: "https://researchr.org/publication/Plotkin76"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "5"
  number: "3"
  pages: "452-487"
  kind: "article"
  key: "Plotkin76"
- title: "LCF Considered as a Programming Language"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1977"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Plotkin77"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "5"
  number: "3"
  pages: "225-255"
  kind: "article"
  key: "Plotkin77"
- title: "Preface"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1988"
  month: "February/March"
  researchr: "https://researchr.org/publication/Plotkin88"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "76"
  number: "2/3"
  pages: "93"
  kind: "article"
  key: "Plotkin88"
- title: "Dynamic Typing in a Statically Typed Language"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1991"
  doi: "http://doi.acm.org/10.1145/103135.103138"
  links:
    doi: "http://doi.acm.org/10.1145/103135.103138"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiCPP91"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "13"
  number: "2"
  pages: "237-268"
  kind: "article"
  key: "AbadiCPP91"
- title: "On the completeness of order-theoretic models of the lambda-calculus"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.ic.2008.03.027"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2008.03.027"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/HonsellP09"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "207"
  number: "5"
  pages: "583-594"
  kind: "article"
  key: "HonsellP09"
- title: "Petri Nets, Event Structures and Domains"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1979"
  researchr: "https://researchr.org/publication/NielsenPW79"
  cites: 0
  citedby: 0
  pages: "266-284"
  booktitle: "Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979"
  editor:
  - name: "Gilles Kahn"
    link: "https://researchr.org/alias/gilles-kahn"
  volume: "70"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-09511-X"
  kind: "inproceedings"
  key: "NielsenPW79"
- title: "Notions of Computation Determine Monads"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030342.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030342.htm"
  researchr: "https://researchr.org/publication/PlotkinP02"
  cites: 0
  citedby: 0
  pages: "342-356"
  booktitle: "Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Uffe Engberg"
    link: "https://researchr.org/alias/uffe-engberg"
  volume: "2303"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43366-X"
  kind: "inproceedings"
  key: "PlotkinP02"
- title: "T^omega as a Universal Domain"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1978"
  researchr: "https://researchr.org/publication/Plotkin78"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "17"
  number: "2"
  pages: "209-236"
  kind: "article"
  key: "Plotkin78"
- title: "Abstract Types Have Existential Type"
  author:
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/44501.45065"
  links:
    doi: "http://doi.acm.org/10.1145/44501.45065"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/MitchellP88%3A1"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "10"
  number: "3"
  pages: "470-502"
  kind: "article"
  key: "MitchellP88:1"
- title: "Handlers of Algebraic Effects"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Matija Pretnar"
    link: "https://researchr.org/alias/matija-pretnar"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_7"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/PlotkinP09"
  cites: 0
  citedby: 0
  pages: "80-94"
  booktitle: "Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  editor:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  volume: "5502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00589-3"
  kind: "inproceedings"
  key: "PlotkinP09"
- title: "On Proving Limiting Completeness"
  author:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1987"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/MossesP87"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "16"
  number: "1"
  pages: "179-194"
  kind: "article"
  key: "MossesP87"
- title: "A Probabilistic Powerdomain of Evaluations"
  author:
  - name: "C. Jones"
    link: "https://researchr.org/alias/c.-jones"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1989"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/JonesP89"
  cites: 0
  citedby: 0
  pages: "186-195"
  booktitle: "Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "JonesP89"
- title: "An Ideal Model for Recursive Polymorphic Types"
  author:
  - name: "David B. MacQueen"
    link: "https://researchr.org/alias/david-b.-macqueen"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Ravi Sethi"
    link: "https://researchr.org/alias/ravi-sethi"
  year: "1984"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/MacQueenPS84"
  cites: 0
  citedby: 0
  pages: "165-174"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "MacQueenPS84"
- title: "Three Inadequate Models"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130364.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130364.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Plotkin02"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "13"
  number: "3-5"
  pages: "364-385"
  kind: "article"
  key: "Plotkin02"
- title: "Adequacy for Algebraic Effects"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2030/20300001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2030/20300001.htm"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/PlotkinP01%3A0"
  cites: 0
  citedby: 0
  pages: "1-24"
  booktitle: "Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Marino Miculan"
    link: "https://researchr.org/alias/marino-miculan"
  volume: "2030"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41864-4"
  kind: "inproceedings"
  key: "PlotkinP01:0"
- title: "Full Completeness of the Multiplicative Linear Logic of Chu Spaces"
  author:
  - name: "Harish Devarajan"
    link: "https://researchr.org/alias/harish-devarajan"
  - name: "Dominic J. D. Hughes"
    link: "https://researchr.org/alias/dominic-j.-d.-hughes"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Vaughan R. Pratt"
    link: "https://researchr.org/alias/vaughan-r.-pratt"
  year: "1999"
  doi: "http://computer.org/conferen/proceed/lics/0158/01580234abs.htm"
  links:
    doi: "http://computer.org/conferen/proceed/lics/0158/01580234abs.htm"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/DevarajanHPP99"
  cites: 0
  citedby: 0
  pages: "234-242"
  booktitle: "Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "DevarajanHPP99"
- title: "An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC"
  author:
  - name: "Marcelo P. Fiore"
    link: "https://researchr.org/alias/marcelo-p.-fiore"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1994"
  researchr: "https://researchr.org/publication/FioreP94"
  cites: 0
  citedby: 0
  pages: "92-102"
  booktitle: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "FioreP94"
- title: "Petri Nets, Event Structures and Domains, Part I"
  author:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "1981"
  researchr: "https://researchr.org/publication/NielsenPW81"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "13"
  pages: "85-108"
  kind: "article"
  key: "NielsenPW81"
- title: "A Semantics for Static Type Inference"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1994"
  month: "February/March"
  tags:
  - "semantics"
  - "type inference"
  researchr: "https://researchr.org/publication/Plotkin94"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "109"
  number: "1/2"
  pages: "256-299"
  kind: "article"
  key: "Plotkin94"
- title: "A Calculus for Access Control in Distributed Systems"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Michael Burrows"
    link: "https://researchr.org/alias/michael-burrows"
  - name: "Butler W. Lampson"
    link: "https://researchr.org/alias/butler-w.-lampson"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/155183.155225"
  links:
    doi: "http://doi.acm.org/10.1145/155183.155225"
  tags:
  - "control systems"
  - "access control"
  researchr: "https://researchr.org/publication/AbadiBLP93"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "15"
  number: "4"
  pages: "706-734"
  kind: "article"
  key: "AbadiBLP93"
- title: "The origins of structural operational semantics"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.009"
  tags:
  - "semantics"
  - " structural operational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/Plotkin04%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "60-61"
  pages: "3-15"
  kind: "article"
  key: "Plotkin04:0"
- title: "Semantics for Algebraic Operations"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/88/27/show/Products/notes/index.htt#020"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/88/27/show/Products/notes/index.htt#020"
  tags:
  - "semantics"
  - " algebra"
  researchr: "https://researchr.org/publication/PlotkinP01"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "45"
  pages: "332-345"
  kind: "article"
  key: "PlotkinP01"
- title: "Uncountable Limits and the lambda Calculus"
  author:
  - name: "Pietro Di Gianantonio"
    link: "https://researchr.org/alias/pietro-di-gianantonio"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1995"
  researchr: "https://researchr.org/publication/GianantonioHP95"
  cites: 0
  citedby: 0
  journal: "Nord. J. Comput."
  volume: "2"
  number: "2"
  pages: "126-145"
  kind: "article"
  key: "GianantonioHP95"
- title: "A Language for Biochemical Systems"
  author:
  - name: "Michael Pedersen"
    link: "https://researchr.org/alias/michael-pedersen"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88562-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88562-7_9"
  researchr: "https://researchr.org/publication/PedersenP08"
  cites: 0
  citedby: 0
  pages: "63-82"
  booktitle: "Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings"
  editor:
  - name: "Monika Heiner"
    link: "https://researchr.org/alias/monika-heiner"
  - name: "Adelinde M. Uhrmacher"
    link: "https://researchr.org/alias/adelinde-m.-uhrmacher"
  volume: "5307"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88561-0"
  kind: "inproceedings"
  key: "PedersenP08"
- title: "Combining effects: Sum and tensor"
  author:
  - name: "Martin Hyland"
    link: "https://researchr.org/alias/martin-hyland"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.03.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.03.013"
  researchr: "https://researchr.org/publication/HylandPP06"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "357"
  number: "1-3"
  pages: "70-99"
  kind: "article"
  key: "HylandPP06"
- title: "Semantic Domains for Combining Probability and Non-Determinism"
  author:
  - name: "Regina Tix"
    link: "https://researchr.org/alias/regina-tix"
  - name: "Klaus Keimel"
    link: "https://researchr.org/alias/klaus-keimel"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.063"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.063"
  researchr: "https://researchr.org/publication/TixKP05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "129"
  pages: "1-104"
  kind: "article"
  key: "TixKP05"
- title: "A Framework for Defining Logics"
  author:
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/138027.138060"
  links:
    doi: "http://doi.acm.org/10.1145/138027.138060"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarperHP93"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "40"
  number: "1"
  pages: "143-184"
  kind: "article"
  key: "HarperHP93"
- title: "A Cook s Tour of Countable Nondeterminism"
  author:
  - name: "Krzysztof R. Apt"
    link: "https://researchr.org/alias/krzysztof-r.-apt"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1981"
  researchr: "https://researchr.org/publication/AptP81"
  cites: 0
  citedby: 0
  pages: "479-494"
  booktitle: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings"
  editor:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Oded Kariv"
    link: "https://researchr.org/alias/oded-kariv"
  volume: "115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10843-2"
  kind: "inproceedings"
  key: "AptP81"
- title: "Type Theory and Recursion (Extended Abstract)"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1993"
  tags:
  - "type theory"
  researchr: "https://researchr.org/publication/Plotkin93"
  cites: 0
  citedby: 0
  pages: "374"
  booktitle: "Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "Plotkin93"
- title: "Subtyping and Parametricity"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  year: "1994"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/PlotkinAC94"
  cites: 0
  citedby: 0
  pages: "310-319"
  booktitle: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PlotkinAC94"
- title: "Bistructures, bidomains, and linear logic"
  author:
  - name: "Pierre-Louis Curien"
    link: "https://researchr.org/alias/pierre-louis-curien"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  year: "2000"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/CurienPW00"
  cites: 0
  citedby: 0
  pages: "21-54"
  booktitle: "Proof, Language, and Interaction, Essays in Honour of Robin Milner"
  editor:
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  - name: "Colin Stirling"
    link: "https://researchr.org/alias/colin-stirling"
  - name: "Mads Tofte"
    link: "https://researchr.org/alias/mads-tofte"
  publisher: "The MIT Press"
  isbn: "978-0-262-16188-6"
  kind: "inproceedings"
  key: "CurienPW00"
- title: "A Per Model of Polymorphism and Recursive Types"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1990"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AbadiP90"
  cites: 0
  citedby: 0
  pages: "355-365"
  booktitle: "Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbadiP90"
- title: "An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory"
  author:
  - name: "Marcelo P. Fiore"
    link: "https://researchr.org/alias/marcelo-p.-fiore"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1996"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/FioreP96"
  cites: 0
  citedby: 0
  pages: "129-149"
  booktitle: "Computer Science Logic, 10th International Workshop, CSL  96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers"
  editor:
  - name: "Dirk van Dalen"
    link: "https://researchr.org/alias/dirk-van-dalen"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  volume: "1258"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63172-0"
  kind: "inproceedings"
  key: "FioreP96"
- title: "Tensors of Comodels and Models for Operational Semantics"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "John Power"
    link: "https://researchr.org/alias/john-power"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.10.018"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.10.018"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/PlotkinP08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "218"
  pages: "295-311"
  kind: "article"
  key: "PlotkinP08"