×

zbMATH — the first resource for mathematics

Abramsky, Samson

Compute Distance To:
Author ID: abramsky.samson Recent zbMATH articles by "Abramsky, Samson"
Published as: Abramsky, S.; Abramsky, Samson
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 115 Publications since 1983, including 17 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

83 Publications have been cited 1,303 times in 888 Documents Cited by Year
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
118
1991
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
103
2000
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha
81
1994
Computational interpretations of linear logic. Zbl 0791.03003
Abramsky, Samson
73
1993
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
69
1993
Full abstraction in the lazy lambda calculus. Zbl 0779.03003
Abramsky, Samson; Ong, C.-H. Luke
58
1993
A domain equation for bisimulation. Zbl 0718.68057
Abramsky, Samson
50
1991
Linearity, sharing and state: A fully abstract games semantics for idealized Algol with active expressions. (Extended abstract). Zbl 0909.68029
Abramsky, Samson; McCusker, Guy
46
1996
Categorical quantum mechanics. Zbl 1273.81014
Abramsky, Samson; Coecke, Bob
43
2009
Observation equivalence as a testing equivalence. Zbl 0626.68016
Abramsky, Samson
37
1987
Call-by-value games. Zbl 0908.03035
Abramsky, Samson; McCusker, Guy
36
1998
Geometry of interaction and linear combinatory algebras. Zbl 1014.03056
Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip
30
2002
From IF to BI. A tale of dependence and separation. Zbl 1175.03016
Abramsky, Samson; Väänänen, Jouko
27
2009
Game semantics. Zbl 0961.68080
Abramsky, Samson; McCusker, Guy
27
1999
Full abstraction for PCF. Zbl 0942.68615
Abramsky, Samson; Malacaria, Pasquale; Jagadeesan, Radha
27
1994
New foundations for the geometry of interaction. Zbl 0803.03014
Abramsky, Samson; Jagadeesan, Radha
24
1994
Proofs as processes. Zbl 0850.68297
Abramsky, Samson
21
1994
Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
20
1999
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
20
1986
Semantics of interaction: An introduction to game semantics. Zbl 0938.91500
Abramsky, Samson
19
1997
Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
19
1996
Handbook of logic in computer science. Vol. 3: Semantic structures. Zbl 0829.68111
Abramsky, S. (ed.); Gabbay, D. M. (ed.); Maibaum, T. S. E. (ed.)
19
1994
Contextuality, cohomology and paradox. Zbl 1373.03048
Abramsky, Samson; Barbosa, Rui Soares; Kishida, Kohei; Lal, Raymond; Mansfield, Shane
14
2015
\(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. Zbl 1267.18007
Abramsky, Samson; Heunen, Chris
14
2012
A structural approach to reversible computation. Zbl 1081.68019
Abramsky, Samson
14
2005
A Cook’s tour of the finitary non-well-founded sets. Zbl 1279.03073
Abramsky, Samson
13
2005
Abstract scalars, loops, and free traced and strongly compact closed categories. Zbl 1151.81002
Abramsky, Samson
13
2005
Full abstraction for idealized Algol with passive expressions. Zbl 0954.68028
Abramsky, Samson; McCusker, Guy
12
1999
On semantic foundations for applicative multiprogramming. Zbl 0538.68064
Abramsky, Samson
12
1983
Abstract physical traces. Zbl 1065.18005
Abramsky, Samson; Coecke, Bob
11
2005
An internal language for autonomous categories. Zbl 0806.03044
Mackie, Ian; Román, Leopoldo; Abramsky, Samson
11
1993
A categorical quantum logic. Zbl 1099.03059
Abramsky, Samson; Duncan, Ross
10
2006
Sequentiality vs. concurrency in games and logic. Zbl 1129.03014
Abramsky, Samson
10
2003
Abstract interpretation, logical relations, and Kan extensions. Zbl 0727.03020
Abramsky, Samson
10
1990
The theory of strictness analysis for higher order functions. Zbl 0596.68009
Burn, G. L.; Hankin, C. L.; Abramsky, S.
10
1986
Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. Zbl 1135.81006
Abramsky, Samson
9
2008
Handbook of logic in computer science. Vol. 2: Background: Computational structures. Zbl 0777.68001
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
9
1992
Introduction to categories and categorical logic. Zbl 1217.18001
Abramsky, S.; Tzevelekos, N.
8
2011
Applying game semantics to compositional software modeling and verification. Zbl 1126.68343
Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke
8
2004
Games and full completeness for multiplicative linear logic. (Extended Abstract). Zbl 0925.03041
Abramsky, Samson; Jagadeesan, Radha
8
1992
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. Zbl 1364.91026
Abramsky, Samson; Winschel, Viktor
7
2017
A compositional game semantics for multi-agent logics of partial information. Zbl 1196.68241
Abramsky, Samson
7
2007
Strictness analysis and polymorphic invariance. Zbl 0624.68034
Abramsky, Samson
7
1986
An operational interpretation of negative probabilities and no-signalling models. Zbl 1415.81009
Abramsky, Samson; Brandenburger, Adam
6
2014
Relational databases and Bell’s theorem. Zbl 1397.68041
Abramsky, Samson
6
2013
Relational hidden variables and non-locality. Zbl 1278.81101
Abramsky, Samson
6
2013
Algorithmic game semantics. A tutorial introduction. Zbl 1097.68574
Abramsky, Samson
6
2002
No-cloning in categorical quantum mechanics. Zbl 1192.81013
Abramsky, Samson
5
2010
Game semantics for access control. Zbl 1337.68157
Abramsky, Samson; Jagadeesan, Radha
5
2009
A game semantics for generic polymorphism. Zbl 1066.68074
Abramsky, Samson; Jagadeesan, Radha
5
2005
A fully abstract denotational semantics for the calculus of higher-order communicating systems. Zbl 0974.68109
Thomsen, B.; Abramsky, S.
5
2001
A fully complete PER model for ML polymorphic types. Zbl 0973.03015
Abramsky, Samson; Lenisa, Marina
5
2000
Games for recursive types. Zbl 0840.03054
Abramsky, Samson; McCusker, Guy
5
1995
Experiments, powerdomains and fully abstract models for applicative multiprogramming. Zbl 0586.68022
Abramsky, Samson
5
1983
Petri nets, discrete physics, and distributed quantum computation. Zbl 1143.68468
Abramsky, Samson
4
2008
Linear realizability and full completeness for typed lambda-calculi. Zbl 1064.03012
Abramsky, Samson; Lenisa, Marina
4
2005
Specifying interaction categories. Zbl 0884.18008
Pavlović, D.; Abramsky, S.
4
1997
Mixed computation of Prolog programs. Zbl 0654.68021
Fuller, David A.; Abramsky, Samson
4
1988
Operational theories and categorical quantum mechanics. Zbl 1355.81028
Abramsky, Samson; Heunen, Chris
3
2016
What are the fundamental structures of concurrency? We still don’t know! Zbl 1315.68188
Abramsky, Samson
3
2006
Fully complete minimal PER models for the simply typed \(\lambda\)-calculus. Zbl 0999.03010
Abramsky, Samson; Lenisa, Marina
3
2001
Axiomatizing fully complete models for ML polymorphic types. Zbl 0996.03041
Abramsky, Samson; Lenisa, Marina
3
2000
Handbook of logic in computer science. Vol. 4: Semantic modelling. Zbl 0876.68001
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
3
1995
Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings. Zbl 0607.00015
Pitt, David (ed.); Abramsky, Samson (ed.); Poigné, Axel (ed.); Rydeheard, David (ed.)
3
1986
Intensionality, definability and computation. Zbl 1344.03003
Abramsky, Samson
2
2014
Big toy models. Representing physical systems as Chu spaces. Zbl 1275.81008
Abramsky, Samson
2
2012
A game semantics for generic polymorphism. Zbl 1029.68038
Abramsky, Samson; Jagadeesan, Radha
2
2003
Process realizability. Zbl 0995.68064
Abramsky, Samson
2
2000
A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061
Abramsky, S.; Gay, S. J.; Nagarajan, R.
2
1999
A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
2
1997
Handbook of logic in computer science. Vol. 1: Background: Mathematical structures. Zbl 0806.68003
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
2
1992
Relating structure and power: comonadic semantics for computational resources (extended abstract). Zbl 06962928
Abramsky, Samson; Shah, Nihil
1
2018
Minimum quantum resources for strong non-locality. Zbl 1427.81006
Abramsky, Samson; Barbosa, Rui Soares; Carù, Giovanni; De Silva, Nadish; Kishida, Kohei; Mansfield, Shane
1
2018
The quantum monad on relational structures. Zbl 1441.68055
Abramsky, Samson; Barbosa, Rui Soares; de Silva, Nadish; Zapata, Octavio
1
2017
A complete characterization of all-versus-nothing arguments for stabilizer states. Zbl 1404.81022
Abramsky, Samson; Soares Barbosa, Rui; Carù, Giovanni; Perdrix, Simon
1
2017
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states. Zbl 1353.81024
Abramsky, Samson; Constantin, Carmen M.; Ying, Shenggang
1
2016
Games for dependent types. Zbl 1395.68177
Abramsky, Samson; Jagadeesan, Radha; Vákár, Matthijs
1
2015
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference. Zbl 1328.03013
Abramsky, Samson; Zvesper, Jonathan
1
2015
Semantic unification. A sheaf theoretic approach to natural language. Zbl 1285.03021
Abramsky, Samson; Sadrzadeh, Mehrnoosh
1
2014
Coalgebras, Chu spaces, and representations of physical systems. Zbl 1270.81040
Abramsky, Samson
1
2013
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference. Zbl 1328.03012
Abramsky, Samson; Zvesper, Jonathan
1
2012
The sheaf-theoretic structure of non-locality and contextuality. Zbl 1448.81028
Abramsky, Samson; Brandenburger, Adam
1
2011
Physical traces: quantum vs. classical information processing. Zbl 1270.68182
Abramsky, Samson; Coecke, Bob
1
2003
Relating structure and power: comonadic semantics for computational resources (extended abstract). Zbl 06962928
Abramsky, Samson; Shah, Nihil
1
2018
Minimum quantum resources for strong non-locality. Zbl 1427.81006
Abramsky, Samson; Barbosa, Rui Soares; Carù, Giovanni; De Silva, Nadish; Kishida, Kohei; Mansfield, Shane
1
2018
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. Zbl 1364.91026
Abramsky, Samson; Winschel, Viktor
7
2017
The quantum monad on relational structures. Zbl 1441.68055
Abramsky, Samson; Barbosa, Rui Soares; de Silva, Nadish; Zapata, Octavio
1
2017
A complete characterization of all-versus-nothing arguments for stabilizer states. Zbl 1404.81022
Abramsky, Samson; Soares Barbosa, Rui; Carù, Giovanni; Perdrix, Simon
1
2017
Operational theories and categorical quantum mechanics. Zbl 1355.81028
Abramsky, Samson; Heunen, Chris
3
2016
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states. Zbl 1353.81024
Abramsky, Samson; Constantin, Carmen M.; Ying, Shenggang
1
2016
Contextuality, cohomology and paradox. Zbl 1373.03048
Abramsky, Samson; Barbosa, Rui Soares; Kishida, Kohei; Lal, Raymond; Mansfield, Shane
14
2015
Games for dependent types. Zbl 1395.68177
Abramsky, Samson; Jagadeesan, Radha; Vákár, Matthijs
1
2015
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference. Zbl 1328.03013
Abramsky, Samson; Zvesper, Jonathan
1
2015
An operational interpretation of negative probabilities and no-signalling models. Zbl 1415.81009
Abramsky, Samson; Brandenburger, Adam
6
2014
Intensionality, definability and computation. Zbl 1344.03003
Abramsky, Samson
2
2014
Semantic unification. A sheaf theoretic approach to natural language. Zbl 1285.03021
Abramsky, Samson; Sadrzadeh, Mehrnoosh
1
2014
Relational databases and Bell’s theorem. Zbl 1397.68041
Abramsky, Samson
6
2013
Relational hidden variables and non-locality. Zbl 1278.81101
Abramsky, Samson
6
2013
Coalgebras, Chu spaces, and representations of physical systems. Zbl 1270.81040
Abramsky, Samson
1
2013
\(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. Zbl 1267.18007
Abramsky, Samson; Heunen, Chris
14
2012
Big toy models. Representing physical systems as Chu spaces. Zbl 1275.81008
Abramsky, Samson
2
2012
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference. Zbl 1328.03012
Abramsky, Samson; Zvesper, Jonathan
1
2012
Introduction to categories and categorical logic. Zbl 1217.18001
Abramsky, S.; Tzevelekos, N.
8
2011
The sheaf-theoretic structure of non-locality and contextuality. Zbl 1448.81028
Abramsky, Samson; Brandenburger, Adam
1
2011
No-cloning in categorical quantum mechanics. Zbl 1192.81013
Abramsky, Samson
5
2010
Categorical quantum mechanics. Zbl 1273.81014
Abramsky, Samson; Coecke, Bob
43
2009
From IF to BI. A tale of dependence and separation. Zbl 1175.03016
Abramsky, Samson; Väänänen, Jouko
27
2009
Game semantics for access control. Zbl 1337.68157
Abramsky, Samson; Jagadeesan, Radha
5
2009
Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. Zbl 1135.81006
Abramsky, Samson
9
2008
Petri nets, discrete physics, and distributed quantum computation. Zbl 1143.68468
Abramsky, Samson
4
2008
A compositional game semantics for multi-agent logics of partial information. Zbl 1196.68241
Abramsky, Samson
7
2007
A categorical quantum logic. Zbl 1099.03059
Abramsky, Samson; Duncan, Ross
10
2006
What are the fundamental structures of concurrency? We still don’t know! Zbl 1315.68188
Abramsky, Samson
3
2006
A structural approach to reversible computation. Zbl 1081.68019
Abramsky, Samson
14
2005
A Cook’s tour of the finitary non-well-founded sets. Zbl 1279.03073
Abramsky, Samson
13
2005
Abstract scalars, loops, and free traced and strongly compact closed categories. Zbl 1151.81002
Abramsky, Samson
13
2005
Abstract physical traces. Zbl 1065.18005
Abramsky, Samson; Coecke, Bob
11
2005
A game semantics for generic polymorphism. Zbl 1066.68074
Abramsky, Samson; Jagadeesan, Radha
5
2005
Linear realizability and full completeness for typed lambda-calculi. Zbl 1064.03012
Abramsky, Samson; Lenisa, Marina
4
2005
Applying game semantics to compositional software modeling and verification. Zbl 1126.68343
Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke
8
2004
Sequentiality vs. concurrency in games and logic. Zbl 1129.03014
Abramsky, Samson
10
2003
A game semantics for generic polymorphism. Zbl 1029.68038
Abramsky, Samson; Jagadeesan, Radha
2
2003
Physical traces: quantum vs. classical information processing. Zbl 1270.68182
Abramsky, Samson; Coecke, Bob
1
2003
Geometry of interaction and linear combinatory algebras. Zbl 1014.03056
Abramsky, Samson; Haghverdi, Esfandiar; Scott, Philip
30
2002
Algorithmic game semantics. A tutorial introduction. Zbl 1097.68574
Abramsky, Samson
6
2002
A fully abstract denotational semantics for the calculus of higher-order communicating systems. Zbl 0974.68109
Thomsen, B.; Abramsky, S.
5
2001
Fully complete minimal PER models for the simply typed \(\lambda\)-calculus. Zbl 0999.03010
Abramsky, Samson; Lenisa, Marina
3
2001
Full abstraction for PCF. Zbl 1006.68028
Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale
103
2000
A fully complete PER model for ML polymorphic types. Zbl 0973.03015
Abramsky, Samson; Lenisa, Marina
5
2000
Axiomatizing fully complete models for ML polymorphic types. Zbl 0996.03041
Abramsky, Samson; Lenisa, Marina
3
2000
Process realizability. Zbl 0995.68064
Abramsky, Samson
2
2000
Game semantics. Zbl 0961.68080
Abramsky, Samson; McCusker, Guy
27
1999
Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004
Abramsky, Samson; Blute, Richard; Panangaden, Prakash
20
1999
Full abstraction for idealized Algol with passive expressions. Zbl 0954.68028
Abramsky, Samson; McCusker, Guy
12
1999
A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061
Abramsky, S.; Gay, S. J.; Nagarajan, R.
2
1999
Call-by-value games. Zbl 0908.03035
Abramsky, Samson; McCusker, Guy
36
1998
Semantics of interaction: An introduction to game semantics. Zbl 0938.91500
Abramsky, Samson
19
1997
Specifying interaction categories. Zbl 0884.18008
Pavlović, D.; Abramsky, S.
4
1997
A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
2
1997
Linearity, sharing and state: A fully abstract games semantics for idealized Algol with active expressions. (Extended abstract). Zbl 0909.68029
Abramsky, Samson; McCusker, Guy
46
1996
Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
19
1996
Games for recursive types. Zbl 0840.03054
Abramsky, Samson; McCusker, Guy
5
1995
Handbook of logic in computer science. Vol. 4: Semantic modelling. Zbl 0876.68001
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
3
1995
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha
81
1994
Full abstraction for PCF. Zbl 0942.68615
Abramsky, Samson; Malacaria, Pasquale; Jagadeesan, Radha
27
1994
New foundations for the geometry of interaction. Zbl 0803.03014
Abramsky, Samson; Jagadeesan, Radha
24
1994
Proofs as processes. Zbl 0850.68297
Abramsky, Samson
21
1994
Handbook of logic in computer science. Vol. 3: Semantic structures. Zbl 0829.68111
Abramsky, S. (ed.); Gabbay, D. M. (ed.); Maibaum, T. S. E. (ed.)
19
1994
Computational interpretations of linear logic. Zbl 0791.03003
Abramsky, Samson
73
1993
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
69
1993
Full abstraction in the lazy lambda calculus. Zbl 0779.03003
Abramsky, Samson; Ong, C.-H. Luke
58
1993
An internal language for autonomous categories. Zbl 0806.03044
Mackie, Ian; Román, Leopoldo; Abramsky, Samson
11
1993
Handbook of logic in computer science. Vol. 2: Background: Computational structures. Zbl 0777.68001
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
9
1992
Games and full completeness for multiplicative linear logic. (Extended Abstract). Zbl 0925.03041
Abramsky, Samson; Jagadeesan, Radha
8
1992
Handbook of logic in computer science. Vol. 1: Background: Mathematical structures. Zbl 0806.68003
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.)
2
1992
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
118
1991
A domain equation for bisimulation. Zbl 0718.68057
Abramsky, Samson
50
1991
Abstract interpretation, logical relations, and Kan extensions. Zbl 0727.03020
Abramsky, Samson
10
1990
Mixed computation of Prolog programs. Zbl 0654.68021
Fuller, David A.; Abramsky, Samson
4
1988
Observation equivalence as a testing equivalence. Zbl 0626.68016
Abramsky, Samson
37
1987
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
20
1986
The theory of strictness analysis for higher order functions. Zbl 0596.68009
Burn, G. L.; Hankin, C. L.; Abramsky, S.
10
1986
Strictness analysis and polymorphic invariance. Zbl 0624.68034
Abramsky, Samson
7
1986
Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings. Zbl 0607.00015
Pitt, David (ed.); Abramsky, Samson (ed.); Poigné, Axel (ed.); Rydeheard, David (ed.)
3
1986
On semantic foundations for applicative multiprogramming. Zbl 0538.68064
Abramsky, Samson
12
1983
Experiments, powerdomains and fully abstract models for applicative multiprogramming. Zbl 0586.68022
Abramsky, Samson
5
1983
all top 5

Cited by 928 Authors

32 Abramsky, Samson
18 Murawski, Andrzej S.
13 Dezani-Ciancaglini, Mariangiola
12 Coecke, Bob
11 Honsell, Furio
11 Laird, James D.
10 Ghica, Dan R.
10 Yoshida, Nobuko
9 Heunen, Chris
9 Lenisa, Marina
9 McCusker, Guy Andrew
9 Paolini, Luca
9 Solovyov, Sergey A.
9 Tzevelekos, Nikos
8 Honda, Kohei
8 Jacobs, Bart
8 Jagadeesan, Radha
8 Klop, Jan Willem
8 Mislove, Michael W.
8 Panangaden, Prakash
8 Scott, Philip J.
8 Vickers, Steven
8 Winskel, Glynn
7 de’Liguoro, Ugo
7 Ingólfsdóttir, Anna
7 Japaridze, Giorgi
7 Jung, Achim
7 Rosenthal, Kimmo I.
7 Zhao, Bin
6 Aceto, Luca
6 Alessi, Fabio
6 Blute, Richard F.
6 Clairambault, Pierre
6 Galliani, Pietro
6 Kurz, Alexander
6 Mackie, Ian
6 Melliès, Paul-André
6 Plotkin, Gordon D.
6 Ulidowski, Irek
6 Vicary, Jamie
6 Yang, Fan
5 Berger, Martin J.
5 Bezhanishvili, Nick
5 Curien, Pierre-Louis
5 Doberkat, Ernst-Erich
5 Ehrhard, Thomas
5 Han, Shengwei
5 Li, Qingguo
5 Moshier, M. Andrew
5 Ong, C.-H. Luke
5 Ong, Chih-Hao Luke
5 Phillips, Iain W.
5 Piccolo, Mauro
5 Ronchi Della Rocca, Simona
5 Sadrzadeh, Mehrnoosh
5 Scedrov, Andre
4 Alves, Sandra
4 Barbanera, Franco
4 Bruni, Roberto
4 Cervesato, Iliano
4 de Paiva, Valeria
4 de Vries, Fer-Jan J.
4 Dzhafarov, Ehtibar N.
4 Florido, Mário
4 Fu, Yuxi
4 Haghverdi, Esfandiar
4 Hasegawa, Masahito
4 Hasuo, Ichiro
4 Hennessy, Matthew C. B.
4 Hines, Peter M.
4 Hötzel Escardó, Martín
4 Hyland, J. Martin E.
4 Kissinger, Aleks
4 Kontinen, Juha
4 Malacaria, Pasquale
4 Montanari, Ugo G.
4 Nielson, Flemming
4 Paseka, Jan
4 Pavlović, Duško
4 Pfenning, Frank
4 Power, John
4 Pym, David J.
4 Resende, Pedro
4 Santocanale, Luigi
4 Saurin, Alexis
4 Schmidt, David A.
4 Soares Barbosa, Rui
4 van Bakel, Steffen
4 van Benthem, Johan F. A. K.
4 Worrell, James B.
4 Zhang, Guoqiang
3 Axelsen, Holger Bock
3 Bernardo, Marco
3 Bloom, Bard
3 Bonsangue, Marcello Maria
3 Bucciarelli, Antonio
3 Chen, Yixiang
3 Cho, Kenta
3 Ciardelli, Ivano A.
3 Cockett, J. Robin B.
...and 828 more Authors
all top 5

Cited in 104 Serials

191 Theoretical Computer Science
73 Information and Computation
63 Annals of Pure and Applied Logic
46 MSCS. Mathematical Structures in Computer Science
16 Journal of Pure and Applied Algebra
16 Logical Methods in Computer Science
14 Fuzzy Sets and Systems
10 Studia Logica
10 Topology and its Applications
10 Formal Aspects of Computing
10 Applied Categorical Structures
9 Acta Informatica
9 Synthese
9 Journal of Functional Programming
9 The Journal of Logic and Algebraic Programming
8 Journal of Logical and Algebraic Methods in Programming
7 Journal of Mathematical Physics
7 Journal of Logic, Language and Information
7 Quantum Information Processing
6 International Journal of Theoretical Physics
6 Information Processing Letters
6 Journal of Computer and System Sciences
6 Foundations of Physics
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Journal of Mathematical Psychology
5 Journal of Philosophical Logic
5 The Journal of Symbolic Logic
5 The Bulletin of Symbolic Logic
5 Journal of Applied Logic
4 Semigroup Forum
4 Journal of Applied Non-Classical Logics
4 Soft Computing
3 Communications in Algebra
3 Communications in Mathematical Physics
3 Notre Dame Journal of Formal Logic
3 RAIRO. Informatique Théorique et Applications
3 RAIRO. Theoretical Informatics and Applications
2 Computers & Mathematics with Applications
2 Information Sciences
2 Journal of Algebra
2 Journal of Symbolic Computation
2 New Generation Computing
2 International Journal of Algebra and Computation
2 International Journal of Foundations of Computer Science
2 Journal of Knot Theory and its Ramifications
2 Cybernetics and Systems Analysis
2 Formal Methods in System Design
2 Theory and Applications of Categories
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 Higher-Order and Symbolic Computation
2 LMS Journal of Computation and Mathematics
2 Computer Languages, Systems & Structures
2 RAIRO. Theoretical Informatics and Applications
2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Artificial Intelligence
1 Lithuanian Mathematical Journal
1 The Mathematical Gazette
1 Journal of Geometry and Physics
1 The Mathematical Intelligencer
1 Kybernetika
1 Mathematica Slovaca
1 Programming and Computer Software
1 Science of Computer Programming
1 Mathematical Social Sciences
1 History and Philosophy of Logic
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Topology Proceedings
1 Turkish Journal of Mathematics
1 Selecta Mathematica. New Series
1 Topoi
1 Journal of the ACM
1 New Journal of Physics
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Applied Mathematics and Computer Science
1 Journal of High Energy Physics
1 Annales Henri Poincaré
1 International Game Theory Review
1 Journal of the Australian Mathematical Society
1 Logic and Logical Philosophy
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Journal of Intelligent and Fuzzy Systems
1 Computational Intelligence
1 Journal of Algebra and its Applications
1 International Journal of Quantum Information
1 Iranian Journal of Fuzzy Systems
1 Logica Universalis
1 Journal of Homotopy and Related Structures
1 The Review of Symbolic Logic
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 Advances in Mathematical Physics
1 European Journal for Philosophy of Science
1 Axioms
...and 4 more Serials
all top 5

Cited in 41 Fields

549 Computer science (68-XX)
398 Mathematical logic and foundations (03-XX)
167 Category theory; homological algebra (18-XX)
103 Order, lattices, ordered algebraic structures (06-XX)
90 Quantum theory (81-XX)
78 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
39 General topology (54-XX)
20 Functional analysis (46-XX)
15 General algebraic systems (08-XX)
12 Information and communication theory, circuits (94-XX)
11 Group theory and generalizations (20-XX)
10 Associative rings and algebras (16-XX)
9 Probability theory and stochastic processes (60-XX)
7 Statistics (62-XX)
6 General and overarching topics; collections (00-XX)
6 Combinatorics (05-XX)
6 Manifolds and cell complexes (57-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Algebraic topology (55-XX)
4 Topological groups, Lie groups (22-XX)
4 Measure and integration (28-XX)
4 Operator theory (47-XX)
3 History and biography (01-XX)
3 Number theory (11-XX)
3 Nonassociative rings and algebras (17-XX)
3 Global analysis, analysis on manifolds (58-XX)
2 Commutative algebra (13-XX)
2 \(K\)-theory (19-XX)
2 Partial differential equations (35-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Convex and discrete geometry (52-XX)
2 Differential geometry (53-XX)
2 Relativity and gravitational theory (83-XX)
2 Biology and other natural sciences (92-XX)
1 Real functions (26-XX)
1 Ordinary differential equations (34-XX)
1 Geometry (51-XX)
1 Numerical analysis (65-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.