Oxford Mathematics of Consciousness and Applications Network (OMCAN) is a new network with a focus on bringing mathematics to bear on one of sciences' greatest challenges.
Strictness analysis and polymorphic invariance
Abramsky, S
Lecture Notes in Computer Science
volume 217
1-23
(29 May 1986)
doi:10.1007/3-540-16446-4_1
Mixed computation of Prolog programs
Fuller, D
Abramsky, S
New Generation Computing
volume 6
issue 2-3
119-141
(Sep 1988)
doi:10.1007/bf03037134
Observation equivalence as a testing equivalence
Abramsky, S
Theoretical Computer Science
volume 53
issue 2-3
225-241
(1987)
doi:10.1016/0304-3975(87)90065-x
An Integrated Engineering Study Scheme in Computing
Finkelstein, A
Kramer, J
Abramsky, S
Broda, K
Drossopoulou, S
Eisenbach, S
The Computer Journal
volume 36
issue 4
320-334
(01 Apr 1993)
doi:10.1093/comjnl/36.4.320
New Foundations for the Geometry of Interaction
Abramsky, S
Jagadeesan, R
Information and Computation
volume 111
issue 1
53-119
(May 1994)
doi:10.1006/inco.1994.1041
Call-by-value games
Abramsky, S
McCusker, G
Lecture Notes in Computer Science
volume 1414
1-17
(15 Jun 1998)
doi:10.1007/bfb0028004
Domain theory in logical form*
Abramsky, S
Annals of Pure and Applied Logic
volume 51
issue 1-2
1-77
(Mar 1991)
doi:10.1016/0168-0072(91)90065-t
Computational interpretations of linear logic
Abramsky, S
Theoretical Computer Science
volume 111
issue 1-2
3-57
(Apr 1993)
doi:10.1016/0304-3975(93)90181-r