sign in · help · news · about ·

BibSonomy :: author :: Abramsky ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(110)

<< < 1 | 2 | 3 > >>

Concurrent Games and Full Completeness.
Samson Abramsky, and Paul-André Melliès LICS, page 431-442. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
New Foundations for the Geometry of Interaction
Samson Abramsky, and Radha Jagadeesan LICS, page 211-222. IEEE Computer Society, (1992)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Fully Abstract Game Semantics for General References.
Samson Abramsky, Kohei Honda, and Guy McCusker LICS, page 334-344. IEEE Computer Society, (1998)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Games and Full Abstraction for the Lazy lambda-Calculus
Samson Abramsky, and Guy McCusker LICS, page 234-243. IEEE Computer Society, (1995)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Generalized Kahn Principle for Abstract Asynchronous Networks
Samson Abramsky CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Domain Theory and the Logic of Observable Properties
Samson Abramsky CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Abstract Physical Traces
Samson Abramsky, and Bob Coecke CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Sequentiality vs. Concurrency in Games and Logic
Samson Abramsky CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Structural Approach to Reversible Computation
Samson Abramsky CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
Samson Abramsky, and Adam Brandenburger CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Introduction to Categories and Categorical Logic
Samson Abramsky, and Nikos Tzevelekos CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Big Toy Models: Representing Physical Systems As Chu Spaces
Samson Abramsky CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
From IF to BI: a tale of dependence and separation
Samson Abramsky, and Jouko A. Väänänen CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Samson Abramsky CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Cook's Tour of the Finitary Non-Well-Founded Sets
Samson Abramsky CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Cohomology of Non-Locality and Contextuality
Samson Abramsky, Shane Mansfield, and Rui Soares Barbosa CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
Samson Abramsky, and Jonathan A. Zvesper CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Categorical Quantum Logic
Samson Abramsky, and Ross Duncan CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Physical Traces: Quantum vs. Classical Information Processing
Samson Abramsky, and Bob Coecke CoRR (2002)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A categorical semantics of quantum protocols
Samson Abramsky, and Bob Coecke CoRR (2004)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper