## Abramsky, Samson

Compute Distance To:
 Author ID: abramsky.samson Published as: Abramsky, Samson; Abramsky, S. External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
 Documents Indexed: 103 Publications since 1983 19 Contributions as Editor Biographic References: 1 Publication Co-Authors: 68 Co-Authors with 79 Joint Publications 1,761 Co-Co-Authors
all top 5

### Co-Authors

 40 single-authored 10 Jagadeesan, Radha 7 Maibaum, Thomas Stephen Edward 6 Soares Barbosa, Rui 5 Gabbay, Dov M. 5 McCusker, Guy Andrew 4 Lenisa, Marina 4 Mansfield, Shane 3 Brandenburger, Adam 3 Carù, Giovanni 3 Coecke, Bob 3 Gay, Simon J. 3 Kishida, Kohei 3 Mislove, Michael W. 3 Nagarajan, Rajagopal 3 Shah, Nihil 2 Burn, Geoffrey L. 2 Constantin, Carmen M. 2 Curien, Pierre-Louis 2 de Silva, Nadish 2 Gavoille, Cyril 2 Ghica, Dan R. 2 Hankin, Chris L. 2 Heunen, Chris 2 Kirchner, Claude 2 Lal, Raymond 2 Malacaria, Pasquale 2 Meyer auf der Heide, Friedhelm 2 Palamidessi, Catuscia 2 Pitt, David H. 2 Poigné, Axel 2 Rydeheard, David E. 2 Spirakis, Paul G. 2 Väänänen, Jouko Antero 2 Vákár, Matthijs 2 Zvesper, Jonathan Alexander 1 Bechmann, Matthias 1 Blute, Richard F. 1 Cooper, Stuart Barry 1 Dawar, Anuj 1 Duncan, Ross 1 Fuller, David A. 1 Gorecki, Jerzy 1 Haghverdi, Esfandiar 1 Horsman, Dominic 1 Kendon, Viv M. 1 Kontinen, Juha 1 Mackie, Ian 1 Murawski, Andrzej S. 1 Naughton, Thomas J. 1 Panangaden, Prakash 1 Perdrix, Simon 1 Pérez-Jiménez, Mario J. 1 Pitts, Andrew M. 1 Román, Leopoldo 1 Romero-Campero, Francisco José 1 Sadrzadeh, Mehrnoosh 1 Savochkin, Andrei 1 Scott, Philip J. 1 Sebald, Angelika 1 Stepney, Susan 1 Tzevelekos, Nikos 1 Vickers, Steven 1 Vollmer, Heribert 1 Wang, Pengming 1 Winschel, Viktor 1 Yamada, Norihiro 1 Ying, Shenggang 1 Zapata, Octavio
all top 5

### Serials

 10 Theoretical Computer Science 7 Lecture Notes in Computer Science 6 Information and Computation 6 MSCS. Mathematical Structures in Computer Science 4 Annals of Pure and Applied Logic 2 Synthese 2 Journal of Logic and Computation 2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Journal of Computer and System Sciences 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Studia Logica 1 Science of Computer Programming 1 New Generation Computing 1 Applied Categorical Structures 1 Theory and Applications of Categories 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 New Journal of Physics 1 Proceedings of Symposia in Applied Mathematics 1 Electronic Notes in Theoretical Computer Science
all top 5

### Fields

 83 Computer science (68-XX) 57 Mathematical logic and foundations (03-XX) 32 Quantum theory (81-XX) 26 Category theory; homological algebra (18-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 General and overarching topics; collections (00-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 3 Functional analysis (46-XX) 3 Operator theory (47-XX) 2 Algebraic topology (55-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

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

### Cited by 1,003 Authors

 36 Abramsky, Samson 19 Murawski, Andrzej S. 15 Dezani-Ciancaglini, Mariangiola 14 Coecke, Bob 14 Honsell, Furio 12 Heunen, Chris 11 Lenisa, Marina 10 Yoshida, Nobuko 9 Ghica, Dan R. 9 McCusker, Guy Andrew 9 Paolini, Luca 9 Scott, Philip J. 9 Solovyov, Sergey A. 9 Tzevelekos, Nikos 9 Winskel, Glynn 8 Bezhanishvili, Nick 8 Clairambault, Pierre 8 de’Liguoro, Ugo 8 Dzhafarov, Ehtibar N. 8 Galliani, Pietro 8 Gogioso, Stefano 8 Honda, Kohei 8 Jacobs, Bart 8 Jagadeesan, Radha 8 Mislove, Michael W. 8 Panangaden, Prakash 8 Vicary, Jamie 8 Vickers, Steven 7 Alessi, Fabio 7 Bezhanishvili, Guram 7 Ingólfsdóttir, Anna 7 Japaridze, Giorgi 7 Jung, Achim 7 Klop, Jan Willem 7 Laird, James D. 7 Plotkin, Gordon D. 7 Zhao, Bin 6 Aceto, Luca 6 Blute, Richard F. 6 Kurz, Alexander 6 Mackie, Ian 6 Melliès, Paul-André 6 Rosenthal, Kimmo I. 6 Ulidowski, Irek 6 Yang, Fan 5 Barbanera, Franco 5 Berger, Martin J. 5 Ciardelli, Ivano A. 5 Curien, Pierre-Louis 5 Doberkat, Ernst-Erich 5 Ehrhard, Thomas 5 Gehrke, Mai 5 Han, Shengwei 5 Hasegawa, Masahito 5 Kujala, Janne V. 5 Li, Qingguo 5 Moshier, M. Andrew 5 Nielson, Flemming 5 Paseka, Jan 5 Pavlović, Duško 5 Phillips, Iain W. 5 Piccolo, Mauro 5 Resende, Pedro 5 Ronchi Della Rocca, Simona 5 Sadrzadeh, Mehrnoosh 5 Scedrov, Andre 5 Soares Barbosa, Rui 5 van Benthem, Johan F. A. K. 4 Alves, Sandra 4 Carù, Giovanni 4 Cervesato, Iliano 4 de Paiva, Valeria 4 de Vries, Fer-Jan J. 4 Fiore, Marcelo P. 4 Florido, Mário 4 Fu, Yuxi 4 Genovese, Fabrizio 4 Haghverdi, Esfandiar 4 Hasuo, Ichiro 4 Hennessy, Matthew C. B. 4 Hoshino, Naohiko 4 Hötzel Escardó, Martín 4 Hyland, J. Martin E. 4 Kaarsgaard, Robin 4 Kissinger, Aleks 4 Kontinen, Juha 4 Levy, Paul Blain 4 Malacaria, Pasquale 4 Power, John 4 Pym, David J. 4 Santocanale, Luigi 4 Saurin, Alexis 4 Schmidt, David A. 4 Straßburger, Lutz 4 van Bakel, Steffen 4 Vollmer, Heribert 4 Wang, Longchun 4 Worrell, James B. 3 Axelsen, Holger Bock 3 Baltag, Alexandru ...and 903 more Authors
all top 5

### Cited in 118 Serials

 188 Theoretical Computer Science 69 Information and Computation 66 Annals of Pure and Applied Logic 47 MSCS. Mathematical Structures in Computer Science 22 Logical Methods in Computer Science 15 Journal of Pure and Applied Algebra 14 Fuzzy Sets and Systems 13 Foundations of Physics 10 Acta Informatica 10 Studia Logica 10 Synthese 10 Formal Aspects of Computing 10 Applied Categorical Structures 10 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 9 Journal of Functional Programming 9 The Journal of Logic and Algebraic Programming 7 International Journal of Theoretical Physics 7 Journal of Mathematical Psychology 7 Topology and its Applications 7 Journal of Logic, Language and Information 7 Journal of Logical and Algebraic Methods in Programming 6 Information Processing Letters 6 Journal of Mathematical Physics 6 Journal of Computer and System Sciences 6 Journal of Philosophical Logic 6 The Journal of Symbolic Logic 6 The Bulletin of Symbolic Logic 6 Quantum Information Processing 5 Cahiers de Topologie et Géométrie Différentielle Catégoriques 4 Communications in Algebra 4 Communications in Mathematical Physics 4 Semigroup Forum 4 Soft Computing 4 Journal of Applied Logic 3 Notre Dame Journal of Formal Logic 3 RAIRO. Informatique Théorique et Applications 3 Journal of Applied Non-Classical Logics 3 Annals of Mathematics and Artificial Intelligence 3 RAIRO. Theoretical Informatics and Applications 2 Computers & Mathematics with Applications 2 Advances in Mathematics 2 Journal of Algebra 2 New Generation Computing 2 International Journal of Approximate Reasoning 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 Theory of Computing Systems 2 Higher-Order and Symbolic Computation 2 LMS Journal of Computation and Mathematics 2 Computer Languages, Systems & Structures 2 Logica Universalis 2 The Review of Symbolic Logic 2 RAIRO. Theoretical Informatics and Applications 1 Artificial Intelligence 1 Lithuanian Mathematical Journal 1 The Mathematical Gazette 1 Nuclear Physics. B 1 Journal of Geometry and Physics 1 The Mathematical Intelligencer 1 Algebra Universalis 1 Information Sciences 1 Kybernetika 1 Mathematica Slovaca 1 Proceedings of the American Mathematical Society 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 Mathematics 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 The Journal of Artificial Intelligence Research (JAIR) 1 Topoi 1 Journal of the ACM 1 Algebras and Representation Theory 1 Journal of Discrete Mathematical Sciences & Cryptography 1 New Journal of Physics 1 Communications in Nonlinear Science and Numerical Simulation 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 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 Journal of Applied Mathematics and Computing 1 Journal of Dynamical Systems and Geometric Theories 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques ...and 18 more Serials
all top 5

### Cited in 42 Fields

 603 Computer science (68-XX) 444 Mathematical logic and foundations (03-XX) 185 Category theory; homological algebra (18-XX) 133 Quantum theory (81-XX) 111 Order, lattices, ordered algebraic structures (06-XX) 86 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 General topology (54-XX) 25 Functional analysis (46-XX) 16 General algebraic systems (08-XX) 15 Group theory and generalizations (20-XX) 15 Probability theory and stochastic processes (60-XX) 14 Associative rings and algebras (16-XX) 12 Information and communication theory, circuits (94-XX) 9 Statistics (62-XX) 8 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 7 Manifolds and cell complexes (57-XX) 6 History and biography (01-XX) 6 Algebraic topology (55-XX) 6 Relativity and gravitational theory (83-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Topological groups, Lie groups (22-XX) 5 Operator theory (47-XX) 4 Measure and integration (28-XX) 4 Partial differential equations (35-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Biology and other natural sciences (92-XX) 2 Algebraic geometry (14-XX) 2 Nonassociative rings and algebras (17-XX) 2 $$K$$-theory (19-XX) 2 Ordinary differential equations (34-XX) 2 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 1 Real functions (26-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)

### Wikidata Timeline

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