×
Author ID: plotkin.gordon-d Recent zbMATH articles by "Plotkin, Gordon D."
Published as: Plotkin, Gordon; Plotkin, Gordon D.; Plotkin, G. D.; Plotkin, G.
Documents Indexed: 102 Publications since 1969, including 2 Books
8 Contributions as Editor · 1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 79 Co-Authors with 81 Joint Publications
1,588 Co-Co-Authors
all top 5

Co-Authors

28 single-authored
10 Abadi, Martín
9 Panangaden, Prakash
9 Power, John
6 Mardare, Radu
4 Keimel, Klaus
3 Bacci, Giorgio
3 Chaput, Philippe
3 Danos, Vincent
3 Hennessy, Matthew C. B.
3 Honsell, Furio
3 Stirling, Colin
3 Tofte, Mads
3 van Glabbeek, Robert Jan
3 Winskel, Glynn
2 Ahman, Danel
2 Apt, Krzysztof Rafal
2 Dezani-Ciancaglini, Mariangiola
2 Hasegawa, Masahito
2 Honorato-Zimmer, Ricardo
2 Huet, Gerard P.
2 Hyland, J. Martin E.
2 Kahn, Gilles
2 Levy, Jean-Jacques
2 Levy, Paul Blain
2 MacQueen, David B.
2 Millar, Andrew J.
2 Nielsen, Mogens
2 Pierce, Benjamin C.
2 Planul, Jérémy
2 Pretnar, Matija
2 Scott, Dana Stewart
2 Tix, Regina
2 Zardilis, Argyris
1 Aczel, Peter
1 Barber, Andrew
1 Barendregt, Hendrik Pieter
1 Barwise, Kenneth Jon
1 Bauer, Andrej
1 Bertot, Yves
1 Bjørner, Nikolaj S.
1 Böhm, Corrado
1 Bowler, Nathan
1 Bruni, Roberto
1 Budiu, Mihai
1 Bunder, Martin W.
1 Cockett, J. Robin B.
1 Coppo, Mario
1 Cruttwell, Geoffrey S. H.
1 de Bruijn, Nicolaas Govert
1 Di Gianantonio, Pietro
1 Diller, Justus
1 Feferman, Solomon
1 Fiore, Marcelo P.
1 Fitch, Frederic Brenton
1 Galenson, Joel
1 Gallagher, Jonathan
1 Gandy, Robin O.
1 Gardner, Philippa Anne
1 Gawron, Jean Mark
1 Ghani, Neil
1 Gilmore, Paul C.
1 Harper, Robert
1 Hindley, J. Roger
1 Hofmann, Martin
1 Howard, William Alvin
1 Hriţcu, Cătălin
1 Kammar, Ohad
1 Kearns, John T.
1 Klop, Jan Willem
1 Koymans, Karst
1 Kuzichev, Alexander Sergeevich
1 Lambek, Joachim
1 Lassez, Jean-Louis
1 Longley, John R.
1 Longo, Giuseppe
1 Lopes, Nuno P.
1 MacAdam, Benjamin
1 Maillard, Kenji
1 Martínez, Guido
1 McSherry, Frank
1 Meredith, David
1 Mitschke, Gerd
1 Montanari, Ugo G.
1 Mosses, Peter D.
1 Oury, Nicolas
1 Pacaud Lemay, Jean-Simon
1 Pottinger, Garrel
1 Pratt, Vaughan R.
1 Priami, Corrado
1 Pronk, Dorette A.
1 Protzenko, Jonathan
1 Rastogi, Aseem
1 Reynolds, John Charles
1 Rybalchenko, Andrey
1 Sanchis, Luis Elpidio
1 Sannella, Donald T.
1 Seldin, Jonathan P.
1 Smyth, Michael B.
1 Statman, Richard
1 Swamy, Nikhil
...and 7 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

100 Publications have been cited 3,272 times in 2,403 Documents Cited by Year
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
243
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
241
1975
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
237
1981
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
233
1993
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
199
1976
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
199
2004
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
156
1982
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
145
1980
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
107
1972
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
101
1989
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
96
1969
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
82
1991
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
73
1979
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
73
2000
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
71
2002
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
66
1983
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
64
2006
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
57
2004
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
53
2003
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
49
1986
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
44
1978
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
42
2001
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
39
1986
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
36
2009
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
31
2013
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
29
1971
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
28
2009
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
27
1993
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
27
1993
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
27
2004
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
25
1982
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
25
2016
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
25
1993
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
25
2009
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
24
1980
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
22
1980
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
22
2005
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
21
2001
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
20
1979
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
20
2017
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
17
2007
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
16
1981
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
15
1993
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
13
1974
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
12
2010
Reverse derivative categories. Zbl 07650831
Cockett, Robin; Cruttwell, Geoffrey; Gallagher, Jonathan; Lemay, Jean-Simon Pacaud; Macadam, Benjamin; Plotkin, Gordon; Pronk, Dorette
12
2020
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
11
2012
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
10
2009
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
9
2008
Transactions on Computational Systems Biology VI. Zbl 1136.92301
9
2006
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
9
1993
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2014
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
8
2014
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
7
2006
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
6
1987
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
6
2013
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
Dependent types and fibred computational effects. Zbl 1475.68057
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
6
2016
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
6
2017
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
5
1998
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
5
1994
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
5
2017
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
4
1991
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
4
1991
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
4
2006
An algebraic theory of Markov processes. Zbl 1453.08002
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
4
2018
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
3
1996
A calculus of chemical systems. Zbl 1397.92259
Plotkin, Gordon D.
3
2013
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
3
2009
Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10–12, 1995. Proceedings. Zbl 0813.68040
2
1995
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
2
1983
Teams can see pomsets. (Preliminary version). Zbl 0880.68082
Plotkin, Gordon; Pratt, Vaughan
2
1997
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019
2
1984
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
2
2013
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
2
2010
Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. Zbl 1527.68038
Bowler, Nathan; Levy, Paul Blain; Plotkin, Gordon
2
2018
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
2
2013
Smart choices and the selection monad. Zbl 07731914
Abadi, Martín; Plotkin, Gordon
2
2023
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Chromar, a language of parameterised agents. Zbl 1423.68568
Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris
1
2019
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
Chromar, a rule-based language of parameterised objects. Zbl 1529.92018
Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris
1
2018
On CSP and the algebraic theory of effects. Zbl 1215.68160
Van Glabbeek, Rob; Plotkin, Gordon
1
2010
A semantics for type checking. Zbl 1493.68092
Plotkin, Gordon
1
1991
Smart choices and the selection monad. Zbl 07731914
Abadi, Martín; Plotkin, Gordon
2
2023
Reverse derivative categories. Zbl 07650831
Cockett, Robin; Cruttwell, Geoffrey; Gallagher, Jonathan; Lemay, Jean-Simon Pacaud; Macadam, Benjamin; Plotkin, Gordon; Pronk, Dorette
12
2020
Chromar, a language of parameterised agents. Zbl 1423.68568
Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris
1
2019
An algebraic theory of Markov processes. Zbl 1453.08002
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
4
2018
Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. Zbl 1527.68038
Bowler, Nathan; Levy, Paul Blain; Plotkin, Gordon
2
2018
Chromar, a rule-based language of parameterised objects. Zbl 1529.92018
Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris
1
2018
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
20
2017
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
6
2017
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
5
2017
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
25
2016
Dependent types and fibred computational effects. Zbl 1475.68057
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
6
2016
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2014
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
8
2014
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
31
2013
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
6
2013
A calculus of chemical systems. Zbl 1397.92259
Plotkin, Gordon D.
3
2013
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
2
2013
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
2
2013
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
11
2012
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
12
2010
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
2
2010
On CSP and the algebraic theory of effects. Zbl 1215.68160
Van Glabbeek, Rob; Plotkin, Gordon
1
2010
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
36
2009
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
28
2009
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
25
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
10
2009
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
3
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
9
2008
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
17
2007
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
64
2006
Transactions on Computational Systems Biology VI. Zbl 1136.92301
9
2006
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
7
2006
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
4
2006
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
22
2005
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
199
2004
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
57
2004
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
27
2004
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
53
2003
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
71
2002
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
42
2001
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
21
2001
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
73
2000
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
5
1998
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
Teams can see pomsets. (Preliminary version). Zbl 0880.68082
Plotkin, Gordon; Pratt, Vaughan
2
1997
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
3
1996
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10–12, 1995. Proceedings. Zbl 0813.68040
2
1995
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
5
1994
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
233
1993
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
27
1993
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
27
1993
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
25
1993
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
15
1993
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
9
1993
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
82
1991
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
4
1991
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
4
1991
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
A semantics for type checking. Zbl 1493.68092
Plotkin, Gordon
1
1991
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
101
1989
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
6
1987
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
49
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
39
1986
Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019
2
1984
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
66
1983
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
2
1983
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
156
1982
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
25
1982
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
237
1981
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
16
1981
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
145
1980
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
24
1980
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
22
1980
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
73
1979
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
20
1979
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
243
1978
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
44
1978
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
199
1976
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
241
1975
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
13
1974
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
107
1972
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
29
1971
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
96
1969
all top 5

Cited by 2,279 Authors

28 Montanari, Ugo G.
27 Rabe, Florian
26 Winskel, Glynn
25 Plotkin, Gordon D.
24 Meseguer Guaita, José
23 Aceto, Luca
22 Ingólfsdóttir, Anna
21 Power, John
21 van Glabbeek, Robert Jan
18 Baldan, Paolo
18 Pientka, Brigitte
17 Adámek, Jiří
17 Dezani-Ciancaglini, Mariangiola
17 Goubault-Larrecq, Jean
16 Abramsky, Samson
16 Danvy, Olivier
16 Honsell, Furio
15 Bruni, Roberto
15 Jacobs, Bart
14 Corradini, Andrea
14 Uustalu, Tarmo
13 Reniers, Michel Adriaan
13 Schmidt-Schauß, Manfred
12 Bonchi, Filippo
12 Ehrhard, Thomas
12 Gadducci, Fabio
12 Hennessy, Matthew C. B.
12 Kohlhase, Michael
12 Miller, Dale Allen
12 Panangaden, Prakash
12 Rutten, Jan J. M. M.
12 Yoshida, Nobuko
11 Alessi, Fabio
11 Alpuente, María
11 Hötzel Escardó, Martín
11 Keimel, Klaus
11 Kou, Hui
11 Kutsia, Temur
11 Larsen, Kim Guldstrand
11 Miculan, Marino
11 Mislove, Michael W.
11 Phillips, Iain W.
11 Staton, Sam
10 Baader, Franz
10 Birkedal, Lars
10 De Nicola, Rocco
10 Jung, Achim
10 Manzonetto, Giulio
10 Olderog, Ernst-Rüdiger
10 Pinna, G. Michele
10 Roşu, Grigore
10 Schröder, Lutz
10 Tini, Simone
10 Ulidowski, Irek
10 Zanasi, Fabio
9 de Bakker, Jacobus W.
9 de’Liguoro, Ugo
9 Escobar, Santiago
9 Felty, Amy P.
9 Goncharov, Sergeĭ Savost’yanovich
9 Gorla, Daniele
9 Jagadeesan, Radha
9 Lenisa, Marina
9 Meyer, John-Jules Charles
9 Paolini, Luca
9 Pfenning, Frank
9 Pym, David J.
9 Schrijvers, Tom
9 Sobociński, Paweł
9 Thiagarajan, Pazhamaneri Subramaniam
8 Abadi, Martín
8 Abbes, Samy
8 Ariola, Zena M.
8 Curien, Pierre-Louis
8 Dal Lago, Ugo
8 Danos, Vincent
8 Degano, Pierpaolo
8 Droste, Manfred
8 Edalat, Abbas
8 Ghani, Neil
8 Harper, Robert
8 Johansen, Christian
8 Klop, Jan Willem
8 Kok, Joost N.
8 Luttik, Bas
8 Majster-Cederbaum, Mila E.
8 Melgratti, Hernán
8 Nielsen, Mogens
8 Pitts, Andrew M.
8 Sabel, David
8 Talcott, Carolyn L.
7 Apt, Krzysztof Rafal
7 Baier, Christel
7 Benveniste, Albert
7 Broy, Manfred
7 Ciobanu, Gabriel
7 Colvin, Robert J.
7 Coppo, Mario
7 Dowek, Gilles
7 Ésik, Zoltán
...and 2,179 more Authors
all top 5

Cited in 109 Serials

538 Theoretical Computer Science
165 Information and Computation
100 MSCS. Mathematical Structures in Computer Science
70 Logical Methods in Computer Science
56 Journal of Logical and Algebraic Methods in Programming
50 Journal of Automated Reasoning
48 Journal of Functional Programming
45 Annals of Pure and Applied Logic
44 Information Processing Letters
40 Journal of Symbolic Computation
34 Journal of Computer and System Sciences
32 Acta Informatica
32 Formal Aspects of Computing
31 The Journal of Logic and Algebraic Programming
24 Artificial Intelligence
24 Topology and its Applications
17 Journal of Pure and Applied Algebra
17 Machine Learning
13 Higher-Order and Symbolic Computation
13 Theory and Practice of Logic Programming
12 Annals of Mathematics and Artificial Intelligence
9 The Journal of Symbolic Logic
9 Formal Methods in System Design
9 The Bulletin of Symbolic Logic
8 Applied Categorical Structures
7 Journal of Computer Science and Technology
7 RAIRO. Informatique Théorique et Applications
7 RAIRO. Theoretical Informatics and Applications
6 Science of Computer Programming
6 Discrete Event Dynamic Systems
6 Distributed Computing
6 Journal of Applied Logic
5 Information Sciences
5 Mathematical Systems Theory
5 International Journal of Foundations of Computer Science
5 Logica Universalis
4 Programming and Computer Software
4 RAIRO, Informatique Théorique
4 Studia Logica
4 Synthese
4 International Journal of Approximate Reasoning
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Logic, Language and Information
4 Theory and Applications of Categories
3 Advances in Mathematics
3 Algebra Universalis
3 BIT
3 Order
3 International Journal of Parallel Programming
3 Fundamenta Informaticae
3 Natural Computing
3 ACM Transactions on Computational Logic
2 Computers & Mathematics with Applications
2 Notre Dame Journal of Formal Logic
2 Semigroup Forum
2 New Generation Computing
2 Mathematical Logic Quarterly (MLQ)
2 Theory of Computing Systems
2 Soft Computing
2 Journal of the ACM
2 Journal of Applied Mathematics
2 Sādhanā
2 RAIRO. Theoretical Informatics and Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Houston Journal of Mathematics
1 Journal of Mathematical Analysis and Applications
1 Bulletin of Mathematical Biology
1 The Mathematical Intelligencer
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Software. Practice & Experience
1 Mathematical Social Sciences
1 History and Philosophy of Logic
1 Japan Journal of Applied Mathematics
1 Discrete & Computational Geometry
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Neural Networks
1 International Journal of Computer Mathematics
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Topology Proceedings
1 Diagrammes
1 ACM Transactions on Modeling and Computer Simulation
1 Abstract and Applied Analysis
1 Journal of Combinatorial Optimization
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Data Mining and Knowledge Discovery
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Computer Languages, Systems & Structures
1 Hacettepe Journal of Mathematics and Statistics
1 Mathematics in Computer Science
1 Journal of Formalized Reasoning
1 Games
...and 9 more Serials

Citations by Year