S Abramsky, A Jung

Oxford University Press, 1994

S Abramsky, B Coecke

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004

S Abramsky, L Ong

Information and Computation 105 (2), 159--268, 1993

S Abramsky

Theoretical Computer Science 111, 3--57, 1993

S Abramsky

Annals of Pure and Applied Logic 51, 1–77, 1991

S Abramsky, R Jagadeesan, P Malacaria

Information and Computation 163 (2), 409--470, 2000

S Abramsky, A Brandenburger

New J. Phys. 13 (113036), 1--40, 2011

S Abramsky, R Jagadeesan

The Journal of Symbolic Logic 59 (2), 543-574, 1994

S Abramsky, C Hankin

Prentice Hall Professional Technical Reference, 1987

S Abramsky, DM Gabbay, TSE Maibaum

OUP Oxford, 2001

S Abramsky

S Abramsky

Theoretical Computer Science 53 (2-3), 225-241, 1987

S Abramsky, B Coecke

Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008

S Abramsky, K Honda, G McCusker

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998

S Abramsky

Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997

S Abramsky, G Burn, C Hankin

Science of Computer Programming 7, 249– 278, 1986

S Abramsky, PA Mellies

Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999

S Abramsky

Information and Computation 92 (2), 161-218, 1991

S Abramsky, R Jagadeesan, P Malacaria

Theoretical Aspects of Computer Software, 1--15, 1994

GL Burn, C Hankin, S Abramsky

Science of Computer Programming 7, 249-278, 1986