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: "lics"
  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: "lics"
  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: "tlca"
  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: "TCS"
  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: "BIRTHDAY"
  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"
  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: "acs"
  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: "TCS"
  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: "tark"
  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: "SICOMP"
  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: "TCS"
  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: "iandc"
  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: "TOPLAS"
  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: "iandc"
  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: "scc"
  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: "fossacs"
  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: "jcss"
  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: "TOPLAS"
  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: "ESOP"
  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: "SICOMP"
  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: "lics"
  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: "fac"
  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: "fossacs"
  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: "lics"
  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: "lics"
  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: "TCS"
  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: "iandc"
  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: "TOPLAS"
  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: "jlp"
  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: "ENTCS"
  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: "njc"
  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: "cmsb"
  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: "TCS"
  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: "ENTCS"
  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: "JACM"
  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: "icalp"
  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: "lics"
  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: "lics"
  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: "BIRTHDAY"
  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: "lics"
  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: "csl"
  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: "ENTCS"
  volume: "218"
  pages: "295-311"
  kind: "article"
  key: "PlotkinP08"