Efficient Information Exchange in the Random Phone-Call Model.
Berenbrink, P
Czyzowicz, J
Elsässer, R
Gasieniec, L
ICALP (2)
volume 6199
127-138
(2010)
A Fully Complete PER Model for ML Polymorphic Types.
Abramsky, S
Lenisa, M
CSL
volume 1862
140-155
(2000)
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus.
Abramsky, S
Lenisa, M
CSL
volume 2142
443-457
(2001)
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.
Abramsky, S
Zvesper, J
CMCS
volume 7399
1-19
(2012)
Preprocessing of Min Ones Problems: A Dichotomy.
Kratsch, S
Wahlström, M
ICALP (1)
volume 6198
653-665
(2010)
Axiomatizing Fully Complete Models for ML Polymorphic Types.
Abramsky, S
Lenisa, M
MFCS
volume 1893
141-151
(2000)
Game Semantics: Achievements and Prospects.
Abramsky, S
ICALP
volume 1853
1-1
(2000)
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218.
Abramsky, S
Aceto, L
Ingólfsdóttir, A
Inf. Comput.
volume 165
119-122
(2001)
What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme.
Dowek, G
Abramsky, S
ERCIM News
volume 2012
(2012)
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
Abramsky, S
Brandenburger, A
CoRR
volume abs/1102.0264
(2011)