G. Plotkin
发表
G. Plotkin,
1972
.
G. Plotkin,
M. Tofte,
C. Stirling,
2000
.
G. Plotkin,
1978
.
Gordon D. Plotkin,
G. Plotkin,
2004,
J. Log. Algebraic Methods Program..
John C. Reynolds,
Gordon D. Plotkin,
J. C. Reynolds,
1993,
Inf. Comput..
Prakash Panangaden,
Radu Mardare,
Gordon Plotkin,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gordon D. Plotkin,
Ravi Sethi,
David B. MacQueen,
1984,
Inf. Control..
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
1993,
TLCA.
Furio Honsell,
Robert Harper,
Gordon D. Plotkin,
1993,
JACM.
G. Plotkin,
J. Barwise,
S. Tutiya,
1995
.
G. Plotkin,
K. Apt,
1981
.
G. Plotkin,
M. Tofte,
C. Stirling,
2000
.
G. Plotkin,
1977
.
G. Plotkin,
2007
.
G. Plotkin,
P. Panangaden,
V. Danos,
2014,
JACM.
G. Plotkin,
A. Millar,
Argyris Zardilis,
2019,
Journal of experimental botany.
G. Plotkin,
A. Millar,
Argyris Zardilis,
2017
.
Martín Abadi,
Luca Cardelli,
Gordon D. Plotkin,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
G. Plotkin,
M. Fourman,
J. Longley,
2007
.
John Power,
Gordon Plotkin,
Martin Hyland,
2004
.
Martín Abadi,
Gordon D. Plotkin,
Dimitrios Vytiniotis,
2019
.
Alexandr Andoni,
Mihai Budiu,
Derek Murray,
2016
.
G. Plotkin,
R. van Glabbeek,
1995
.
Klaus Keimel,
Gordon Plotkin,
Regina Tix,
2009
.
M. Abadi,
G. Plotkin,
Jérémy Planul,
2016
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
G. Plotkin,
F. Honsell,
2007
.
Gordon Plotkin,
G. Plotkin,
2003,
LICS 2003.
Natarajan Shankar,
Thomas Eiter,
Javier Esparza,
2018,
Bull. EATCS.
G. Plotkin,
2022
.
G. Plotkin,
2022,
ArXiv.
Gordon D. Plotkin,
Gérard P. Huet,
G. Huet,
1991
.
G. Plotkin,
2022,
ArXiv.
P. Levy,
G. Plotkin,
M. Hyland,
2007
.
Martín Abadi,
Gordon Plotkin,
Jérémy Planul,
2014
.
P. Levy,
G. Plotkin,
M. Hyland,
2018
.
G. Plotkin,
2005
.
Gordon Plotkin,
David MacQueen,
David B. MacQueen,
1984,
Lecture Notes in Computer Science.
Butler W. Lampson,
Michael Burrows,
Gordon Plotkin,
1993
.
G. Plotkin,
J. Power,
M. Fiore,
2003
.
M. Hennessy,
G. Plotkin,
G. Plotkin,
1987
.
M. Abadi,
G. Plotkin,
Frank McSherry,
2014
.
G. Plotkin,
2017
.
G. Plotkin,
M. Hyland,
J. Power,
2018
.
G. Plotkin,
M. Hyland,
J. Power,
2006,
Theor. Comput. Sci..
Gordon D. Plotkin,
G. Plotkin,
1979,
Abstract Software Specifications.
Gordon Plotkin,
G. Plotkin,
2008
.
G. Plotkin,
2022,
ArXiv.
G. Plotkin,
P. Panangaden,
2018
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Vincent Danos,
Prakash Panangaden,
Gordon D. Plotkin,
2009,
JACM.
Martín Abadi,
Gordon D. Plotkin,
Jérémy Planul,
2013,
MFPS.
Gordon Plotkin,
G. Plotkin,
2008
.
Glynn Winskel,
Mogens Nielsen,
Gordon Plotkin,
1981,
Theor. Comput. Sci..
Alexandr Andoni,
Mihai Budiu,
Gordon D. Plotkin,
2016,
EGPGV@EuroVis.
Matthew Hennessy,
Gordon D. Plotkin,
G. Plotkin,
1980,
MFCS.
Alioune Ngom,
Corrado Priami,
Falko Dressler,
2005,
Trans. Computational Systems Biology.
Gordon D. Plotkin,
Michael Pedersen,
G. Plotkin,
2008,
CMSB.
Gordon D. Plotkin,
G. Plotkin,
1975,
Theor. Comput. Sci..
Martin Abadi,
Gordon Plotkin,
M. Abadi,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vincent Danos,
Prakash Panangaden,
Gordon D. Plotkin,
2009,
CALCO.
Gordon D. Plotkin,
G. Plotkin,
2004,
J. Log. Algebraic Methods Program..
Martín Abadi,
Gordon D. Plotkin,
Frank McSherry,
2015,
FoSSaCS.
C. Jones,
Gordon D. Plotkin,
G. Plotkin,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Krzysztof R. Apt,
Gordon D. Plotkin,
G. Plotkin,
1986,
JACM.
Martín Abadi,
Benjamin C. Pierce,
Gordon D. Plotkin,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Jean-Louis Lassez,
Gordon Plotkin,
G. Plotkin,
1991
.
Glynn Winskel,
Mogens Nielsen,
Gordon D. Plotkin,
1979,
Semantics of Concurrent Computation.
Gordon D. Plotkin,
Vaughan R. Pratt,
G. Plotkin,
1996,
Partial Order Methods in Verification.
John C. Mitchell,
Gordon D. Plotkin,
G. Plotkin,
1988,
TOPL.
G. Plotkin,
P. Panangaden,
R. Mardare,
2022,
ArXiv.
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2018,
LICS.
Bruno Courcelle,
Jean-Jacques Lévy,
Yves Bertot,
2009
.
Gordon D. Plotkin,
G. Plotkin,
1993,
Theor. Comput. Sci..
Gordon Plotkin,
Gordon Plotkin,
G. Plotkin,
1982
.
Martín Abadi,
Butler W. Lampson,
Michael Burrows,
1991,
TOPL.
Gordon D. Plotkin,
G. Plotkin,
1982,
ICALP.
Gordon D. Plotkin,
Matija Pretnar,
G. Plotkin,
2009,
ESOP.
Gordon D. Plotkin,
John Power,
G. Plotkin,
2002,
FoSSaCS.
J. Robin B. Cockett,
Gordon D. Plotkin,
Jean-Simon Pacaud Lemay,
2019,
CSL.
George Varghese,
Nikolaj Bjørner,
Gordon D. Plotkin,
2016,
POPL.
Gordon D. Plotkin,
Daniele Turi,
G. Plotkin,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
G. Plotkin,
Andrzej Filinski,
S. Brookes,
1996
.
Gordon D. Plotkin,
John Power,
Martin Hyland,
2007,
Theor. Comput. Sci..
Peter D. Mosses,
Gordon D. Plotkin,
G. Plotkin,
1987,
SIAM J. Comput..
G.D. Plotkin,
G. Plotkin,
1977,
Theor. Comput. Sci..
Gordon D. Plotkin,
G. Plotkin,
1976,
SIAM J. Comput..
Klaus Keimel,
Gordon D. Plotkin,
G. Plotkin,
2016,
Log. Methods Comput. Sci..
Andrej Bauer,
Gordon D. Plotkin,
Dana S. Scott,
2014,
Theor. Comput. Sci..
G. Plotkin,
R. V. Glabbeek,
2009,
Theor. Comput. Sci..
Gordon Plotkin,
G. Plotkin,
2003
.
Gordon D. Plotkin,
Gilles Kahn,
G. Plotkin,
1993,
Theor. Comput. Sci..
Gordon D. Plotkin,
Michael B. Smyth,
G. Plotkin,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Gordon Plotkin,
John Longley,
G. Plotkin,
2000
.
Roberto Bruni,
Ugo Montanari,
Gordon D. Plotkin,
2014,
Fundam. Informaticae.
Gordon D. Plotkin,
G. Plotkin,
1994,
Inf. Comput..
Martin Hofmann,
Gordon D. Plotkin,
Masahito Hasegawa,
2008,
Pillars of Computer Science.
Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
1989,
POPL '89.
John C. Mitchell,
Gordon D. Plotkin,
G. Plotkin,
1985,
POPL.
Gordon D. Plotkin,
Matija Pretnar,
G. Plotkin,
2013,
Log. Methods Comput. Sci..
Gordon D. Plotkin,
John Power,
G. Plotkin,
2003,
Appl. Categorical Struct..
Gordon D. Plotkin,
Michael Pedersen,
G. Plotkin,
2010,
Trans. Comp. Sys. Biology.
Richard M. Young,
Gordon D. Plotkin,
R. M. Young,
1977,
IJCAI.
Ohad Kammar,
Gordon D. Plotkin,
G. Plotkin,
2012,
POPL '12.
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
2009,
POPL '09.
Gordon D. Plotkin,
John Power,
Martin Hyland,
2006,
Theor. Comput. Sci..
Prakash Panangaden,
Radu Mardare,
Gordon D. Plotkin,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gordon D. Plotkin,
Colin Stirling,
G. Plotkin,
1988,
TARK.
Gordon D. Plotkin,
John Power,
G. Plotkin,
2001,
FoSSaCS.
Gordon D. Plotkin,
John Power,
G. Plotkin,
2008,
MFPS.
Gordon D. Plotkin,
Nicolas Oury,
G. Plotkin,
2011,
CMSB.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Gordon D. Plotkin,
Rob J. van Glabbeek,
G. Plotkin,
2010,
Reflections on the Work of C. A. R. Hoare.
Klaus Keimel,
Gordon D. Plotkin,
Regina Tix,
2005,
Electronic Notes in Theoretical Computer Science.
Gordon D. Plotkin,
G. Plotkin,
1980,
Logic of Programs.
Matthew Hennessy,
Gordon D. Plotkin,
G. Plotkin,
1979,
MFCS.
Gordon D. Plotkin,
Nicolas Oury,
G. Plotkin,
2013,
Mathematical Structures in Computer Science.
G. Plotkin,
2006
.
Gordon Plotkin,
G. Plotkin,
2006
.
G. Plotkin,
P. Panangaden,
R. Mardare,
2023,
MFPS.
M. Hennessy,
G. Plotkin,
M. Hennessy,
1987
.
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2021,
CALCO.
Gordon D. Plotkin,
G. Plotkin,
2013,
In Search of Elegance in the Theory and Practice of Computation.
W. Li,
Matthew Hennessy,
Gordon D. Plotkin,
1981,
ICDCS.
M. Abadi,
G. Plotkin,
B. Pierce,
1991,
TOPL.
Krzysztof R. Apt,
Gordon D. Plotkin,
G. Plotkin,
1981,
ICALP.
Gordon Plotkin,
G. Plotkin,
2003
.
Gordon D. Plotkin,
G. Plotkin,
1991,
TACS.
Gordon D. Plotkin,
Marcelo P. Fiore,
G. Plotkin,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin,
G. Plotkin,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin,
G. Plotkin,
2006,
Essays Dedicated to Joseph A. Goguen.
G. Plotkin,
J. Power,
2008,
MFPS.
G. Plotkin,
2020,
MFPS.
M. Abadi,
G. Plotkin,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gordon D. Plotkin,
Alex K. Simpson,
G. Plotkin,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Gordon D. Plotkin,
John Power,
Marcelo P. Fiore,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Gordon Plotkin,
Alex K. Simpson,
G. Plotkin,
1998
.
G. Plotkin,
M. Smyth,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
N. G. de Bruijn,
G. Huet,
G. Plotkin,
1993
.
Gordon D. Plotkin,
G. Plotkin,
2002,
Formal Aspects of Computing.
Gordon D. Plotkin,
Marcelo P. Fiore,
G. Plotkin,
1996,
CSL.
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1995,
Nord. J. Comput..
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1994,
CONCUR.
Martín Abadi,
Gordon D. Plotkin,
M. Abadi,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Gordon Plotkin,
G. Plotkin,
2005
.
Mads Tofte,
Gordon Plotkin,
Colin Stirling,
2000
.
Gordon D. Plotkin,
Andrew Phillips,
Michael Pedersen,
2015,
PloS one.
Gordon D. Plotkin,
G. Plotkin,
1999,
Mathematical Structures in Computer Science.
Gordon D. Plotkin,
Daniele Turi,
Marcelo P. Fiore,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Philippa Gardner,
Gordon D. Plotkin,
Masahito Hasegawa,
1997,
CSL.
G. Plotkin,
2022,
ArXiv.
Mihai Budiu,
Gordon D. Plotkin,
Joel Galenson,
2013,
ESOP.
Gordon D. Plotkin,
Vaughan R. Pratt,
Dominic J. D. Hughes,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).