@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 = {Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA},
  publisher = {IEEE Computer Society},
}

@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 = {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},
}

@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 = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings},
  editor = {Marc Bezem and Jan Friso Groote},
  volume = {664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56517-5},
}

@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 = {Theoretical Computer Science},
  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 = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
  publisher = {The MIT Press},
  isbn = {978-0-262-16188-6},
}

@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  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
  editor = {Bengt Jonsson and Joachim Parrow},
  volume = {836},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58329-7},
}

@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 = {Applied Categorical Structures},
  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 = {Theoretical Computer Science},
  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 = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986},
  editor = {Joseph Y. Halpern},
  publisher = {Morgan Kaufmann},
  isbn = {0-934613-04-4},
}

@article{Plotkin76,
  title = {A Powerdomain Construction},
  author = {Gordon D. Plotkin},
  year = {1976},
  researchr = {https://researchr.org/publication/Plotkin76},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  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 = {Theoretical Computer Science},
  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 = {Inf. Comput.},
  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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Inf. Comput.},
  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 = {Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979},
  editor = {Gilles Kahn},
  volume = {70},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-09511-X},
}

@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 = {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 = {Mogens Nielsen and Uffe Engberg},
  volume = {2303},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43366-X},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {ACM Transactions on Programming Languages and Systems},
  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 = {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 = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@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 = {SIAM Journal on Computing},
  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 = {Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Formal Asp. Comput.},
  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 = {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 = {Furio Honsell and Marino Miculan},
  volume = {2030},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41864-4},
}

@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 = {Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy},
  publisher = {IEEE Computer Society},
}

@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 = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@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 = {Theoretical Computer Science},
  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 = {Inf. Comput.},
  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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Journal of Logic and Algebraic Programming},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Nord. J. Comput.},
  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 = {Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
  editor = {Monika Heiner and Adelinde M. Uhrmacher},
  volume = {5307},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88561-0},
}

@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 = {Theoretical Computer Science},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Journal of the ACM},
  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 = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings},
  editor = {Shimon Even and Oded Kariv},
  volume = {115},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10843-2},
}

@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 = {Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada},
  publisher = {IEEE Computer Society},
}

@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 = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@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 = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
  publisher = {The MIT Press},
  isbn = {978-0-262-16188-6},
}

@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 = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Computer Science Logic, 10th International Workshop, CSL  96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers},
  editor = {Dirk van Dalen and Marc Bezem},
  volume = {1258},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63172-0},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  volume = {218},
  pages = {295-311},
}