@inproceedings{AbadiPP89,
  title = {Faithful Ideal Models for Recursive Polymorphic Types},
  author = {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiPP89},
  cites = {0},
  citedby = {0},
  pages = {216-225},
  booktitle = {lics},
}

@inproceedings{TuriP97,
  title = {Towards a Mathematical Operational Semantics},
  author = {Daniele Turi and Gordon D. Plotkin},
  year = {1997},
  url = {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},
}

@inproceedings{PlotkinP08:0,
  title = {A Logic for Algebraic Effects},
  author = {Gordon D. Plotkin and Matija Pretnar},
  year = {2008},
  doi = {10.1109/LICS.2008.45},
  url = {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},
}

@inproceedings{FiorePP97,
  title = {Complete Cuboidal Sets in Axiomatic Domain Theory},
  author = {Marcelo P. Fiore and Gordon D. Plotkin and A. John Power},
  year = {1997},
  url = {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},
}

@inproceedings{PlotkinA93,
  title = {A Logic for Parametric Polymorphism},
  author = {Gordon D. Plotkin and Martín Abadi},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/PlotkinA93},
  cites = {0},
  citedby = {0},
  pages = {361-375},
  booktitle = {tlca},
}

@article{Plotkin93:0,
  title = {Set-Theoretical and Other Elementary Models of the lambda-Calculus},
  author = {Gordon D. Plotkin},
  year = {1993},
  researchr = {https://researchr.org/publication/Plotkin93%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {121},
  number = {1&2},
  pages = {351-409},
}

@inproceedings{PlotkinST00,
  title = {A brief scientific biography of Robin Milner},
  author = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
  year = {2000},
  researchr = {https://researchr.org/publication/PlotkinST00},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {BIRTHDAY},
}

@inproceedings{GianantonioHLP94,
  title = {Countable Non-Determinism and Uncountable Limits},
  author = {Pietro Di Gianantonio and Furio Honsell and Silvia Liani and Gordon D. Plotkin},
  year = {1994},
  researchr = {https://researchr.org/publication/GianantonioHLP94},
  cites = {0},
  citedby = {0},
  pages = {130-145},
  booktitle = {concur},
}

@article{PlotkinP03:0,
  title = {Algebraic Operations and Generic Effects},
  author = {Gordon D. Plotkin and John Power},
  year = {2003},
  doi = {10.1023/A:1023064908962},
  url = {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},
}

@article{Plotkin75,
  title = {Call-by-Name, Call-by-Value and the lambda-Calculus},
  author = {Gordon D. Plotkin},
  year = {1975},
  researchr = {https://researchr.org/publication/Plotkin75},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {1},
  number = {2},
  pages = {125-159},
}

@inproceedings{PlotkinS86,
  title = {A Framework for Intuitionistic Modal Logics},
  author = {Gordon D. Plotkin and Colin Stirling},
  year = {1986},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/PlotkinS86},
  cites = {0},
  citedby = {0},
  pages = {399-406},
  booktitle = {tark},
}

@article{Plotkin76,
  title = {A Powerdomain Construction},
  author = {Gordon D. Plotkin},
  year = {1976},
  researchr = {https://researchr.org/publication/Plotkin76},
  cites = {0},
  citedby = {0},
  journal = {SICOMP},
  volume = {5},
  number = {3},
  pages = {452-487},
}

@article{Plotkin77,
  title = {LCF Considered as a Programming Language},
  author = {Gordon D. Plotkin},
  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},
}

@article{Plotkin88,
  title = {Preface},
  author = {Gordon D. Plotkin},
  year = {1988},
  month = {February/March},
  researchr = {https://researchr.org/publication/Plotkin88},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {76},
  number = {2/3},
  pages = {93},
}

@article{AbadiCPP91,
  title = {Dynamic Typing in a Statically Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  doi = {10.1145/103135.103138},
  url = {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},
}

@article{HonsellP09,
  title = {On the completeness of order-theoretic models of the lambda-calculus},
  author = {Furio Honsell and Gordon D. Plotkin},
  year = {2009},
  doi = {10.1016/j.ic.2008.03.027},
  url = {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},
}

@inproceedings{NielsenPW79,
  title = {Petri Nets, Event Structures and Domains},
  author = {Mogens Nielsen and Gordon D. Plotkin and Glynn Winskel},
  year = {1979},
  researchr = {https://researchr.org/publication/NielsenPW79},
  cites = {0},
  citedby = {0},
  pages = {266-284},
  booktitle = {scc},
}

@inproceedings{PlotkinP02,
  title = {Notions of Computation Determine Monads},
  author = {Gordon D. Plotkin and John Power},
  year = {2002},
  url = {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},
}

@article{Plotkin78,
  title = {T^omega as a Universal Domain},
  author = {Gordon D. Plotkin},
  year = {1978},
  researchr = {https://researchr.org/publication/Plotkin78},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {17},
  number = {2},
  pages = {209-236},
}

@article{MitchellP88:1,
  title = {Abstract Types Have Existential Type},
  author = {John C. Mitchell and Gordon D. Plotkin},
  year = {1988},
  doi = {10.1145/44501.45065},
  url = {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},
}

@inproceedings{PlotkinP09,
  title = {Handlers of Algebraic Effects},
  author = {Gordon D. Plotkin and Matija Pretnar},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_7},
  url = {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},
}

@article{MossesP87,
  title = {On Proving Limiting Completeness},
  author = {Peter D. Mosses and Gordon D. Plotkin},
  year = {1987},
  tags = {completeness},
  researchr = {https://researchr.org/publication/MossesP87},
  cites = {0},
  citedby = {0},
  journal = {SICOMP},
  volume = {16},
  number = {1},
  pages = {179-194},
}

@inproceedings{JonesP89,
  title = {A Probabilistic Powerdomain of Evaluations},
  author = {C. Jones and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonesP89},
  cites = {0},
  citedby = {0},
  pages = {186-195},
  booktitle = {lics},
}

@inproceedings{MacQueenPS84,
  title = {An Ideal Model for Recursive Polymorphic Types},
  author = {David B. MacQueen and Gordon D. Plotkin and Ravi Sethi},
  year = {1984},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/MacQueenPS84},
  cites = {0},
  citedby = {0},
  pages = {165-174},
  booktitle = {POPL},
}

@article{Plotkin02,
  title = {Three Inadequate Models},
  author = {Gordon D. Plotkin},
  year = {2002},
  url = {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},
}

@inproceedings{PlotkinP01:0,
  title = {Adequacy for Algebraic Effects},
  author = {Gordon D. Plotkin and John Power},
  year = {2001},
  url = {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},
}

@inproceedings{DevarajanHPP99,
  title = {Full Completeness of the Multiplicative Linear Logic of Chu Spaces},
  author = {Harish Devarajan and Dominic J. D. Hughes and Gordon D. Plotkin and Vaughan R. Pratt},
  year = {1999},
  url = {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},
}

@inproceedings{FioreP94,
  title = {An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC},
  author = {Marcelo P. Fiore and Gordon D. Plotkin},
  year = {1994},
  researchr = {https://researchr.org/publication/FioreP94},
  cites = {0},
  citedby = {0},
  pages = {92-102},
  booktitle = {lics},
}

@article{NielsenPW81,
  title = {Petri Nets, Event Structures and Domains, Part I},
  author = {Mogens Nielsen and Gordon D. Plotkin and Glynn Winskel},
  year = {1981},
  researchr = {https://researchr.org/publication/NielsenPW81},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {13},
  pages = {85-108},
}

@article{Plotkin94,
  title = {A Semantics for Static Type Inference},
  author = {Gordon D. Plotkin},
  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},
}

@article{AbadiBLP93,
  title = {A Calculus for Access Control in Distributed Systems},
  author = {Martín Abadi and Michael Burrows and Butler W. Lampson and Gordon D. Plotkin},
  year = {1993},
  doi = {10.1145/155183.155225},
  url = {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},
}

@article{Plotkin04:0,
  title = {The origins of structural operational semantics},
  author = {Gordon D. Plotkin},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.009},
  url = {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},
}

@article{PlotkinP01,
  title = {Semantics for Algebraic Operations},
  author = {Gordon D. Plotkin and John Power},
  year = {2001},
  url = {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},
}

@article{GianantonioHP95,
  title = {Uncountable Limits and the lambda Calculus},
  author = {Pietro Di Gianantonio and Furio Honsell and Gordon D. Plotkin},
  year = {1995},
  researchr = {https://researchr.org/publication/GianantonioHP95},
  cites = {0},
  citedby = {0},
  journal = {njc},
  volume = {2},
  number = {2},
  pages = {126-145},
}

@inproceedings{PedersenP08,
  title = {A Language for Biochemical Systems},
  author = {Michael Pedersen and Gordon D. Plotkin},
  year = {2008},
  doi = {10.1007/978-3-540-88562-7_9},
  url = {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},
}

@article{HylandPP06,
  title = {Combining effects: Sum and tensor},
  author = {Martin Hyland and Gordon D. Plotkin and John Power},
  year = {2006},
  doi = {10.1016/j.tcs.2006.03.013},
  url = {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},
}

@article{TixKP05,
  title = {Semantic Domains for Combining Probability and Non-Determinism},
  author = {Regina Tix and Klaus Keimel and Gordon D. Plotkin},
  year = {2005},
  doi = {10.1016/j.entcs.2004.06.063},
  url = {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},
}

@article{HarperHP93,
  title = {A Framework for Defining Logics},
  author = {Robert Harper and Furio Honsell and Gordon D. Plotkin},
  year = {1993},
  doi = {10.1145/138027.138060},
  url = {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},
}

@inproceedings{AptP81,
  title = {A Cook s Tour of Countable Nondeterminism},
  author = {Krzysztof R. Apt and Gordon D. Plotkin},
  year = {1981},
  researchr = {https://researchr.org/publication/AptP81},
  cites = {0},
  citedby = {0},
  pages = {479-494},
  booktitle = {icalp},
}

@inproceedings{Plotkin93,
  title = {Type Theory and Recursion (Extended Abstract)},
  author = {Gordon D. Plotkin},
  year = {1993},
  tags = {type theory},
  researchr = {https://researchr.org/publication/Plotkin93},
  cites = {0},
  citedby = {0},
  pages = {374},
  booktitle = {lics},
}

@inproceedings{PlotkinAC94,
  title = {Subtyping and Parametricity},
  author = {Gordon D. Plotkin and Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/PlotkinAC94},
  cites = {0},
  citedby = {0},
  pages = {310-319},
  booktitle = {lics},
}

@inproceedings{CurienPW00,
  title = {Bistructures, bidomains, and linear logic},
  author = {Pierre-Louis Curien and Gordon D. Plotkin and Glynn Winskel},
  year = {2000},
  tags = {logic},
  researchr = {https://researchr.org/publication/CurienPW00},
  cites = {0},
  citedby = {0},
  pages = {21-54},
  booktitle = {BIRTHDAY},
}

@inproceedings{AbadiP90,
  title = {A Per Model of Polymorphism and Recursive Types},
  author = {Martín Abadi and Gordon D. Plotkin},
  year = {1990},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/AbadiP90},
  cites = {0},
  citedby = {0},
  pages = {355-365},
  booktitle = {lics},
}

@inproceedings{FioreP96,
  title = {An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory},
  author = {Marcelo P. Fiore and Gordon D. Plotkin},
  year = {1996},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/FioreP96},
  cites = {0},
  citedby = {0},
  pages = {129-149},
  booktitle = {csl},
}

@article{PlotkinP08,
  title = {Tensors of Comodels and Models for Operational Semantics},
  author = {Gordon D. Plotkin and John Power},
  year = {2008},
  doi = {10.1016/j.entcs.2008.10.018},
  url = {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},
}