Information, Processes and Games

Information, Processes and Games

Cached

Download Links

by Samson Abramsky

Citations:

BibTeX

@MISC{Abramsky_information,processes,
    author = {Samson Abramsky},
    title = { Information, Processes and Games},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

402	Domain Theory, in - Abramsky, Jung - 1994
231	The logic of quantum mechanics - Birkhoff, Neumann - 1936
214	Domain theory in logical form - Abramsky - 1991
197	Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
173	Full abstraction for PCF - Abramsky, Jagadeesan, et al. - 2000
165	Information Flow: The Logic of Distributed Systems - Barwise, Seligman - 1997
139	Exploring Logical Dynamics - Benthem - 1996
122	A categorical semantics of quantum protocols - Abramsky, Coecke - 2004
105	G.: A fully abstract game semantics for general references - Abramsky, Honda, et al. - 1998
69	New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
61	Retracing some paths in process algebra - Abramsky - 1996
59	Call-by-value games - Abramsky, McCusker - 1998
46	Concurrent games and full completeness - Abramsky, Melliès - 1999
44	Game semantics - Abramsky, McCusker - 1999
33	Full abstraction for idealized algol with passive expressions - Abramsky, McCusker - 1999
30	Applying game semantics to compositional software modeling and verification - Abramsky, Ghica, et al. - 2004
30	The semantics and proof theory of linear logic - Avron - 1988
23	Nominal games and full abstraction for the nu-calculus - Abramsky, Ghica, et al. - 2004
22	Domains and lambda calculi - Amadio, Curien - 1998
21	Local and asynchronous beta-reduction - Danos, Régnier - 1993
16	A partial order on classical and quantum states, Programming research group research report RR0207 - Coecke, Martin - 2002
13	sharing and state - Abramsky, McCusker
13	Stochasticity and Partial Order: Doubly Stochastic Maps and Unitary Mixing (VEB Deutscher Verlag der Wissenschaften - Alberti, Uhlmann - 1982
12	A structural approach to reversible computation - Abramsky
9	Algorithmic Game Semantics: A Tutorial Introduction - Abramsky - 2001
8	A game semantics for generic polymorphism - Abramsky, Jagadeesan - 2005
6	Abstract physical traces - Abramsky, Coecke
5	Barendregt The Lambda Calculus - P - 1984
4	Entropic geometry from logic - Coecke
3	Linear realizability and full completeness for typed lambda calculi - Abramsky, Lenisa - 2005
1	Physical traces: classical vs. quantum information processing - Abramsky, Coecke