Samson Abramsky: Publications
PhD Thesis
Domain Theory and the Logic of Observable Properties, University of London 1987.
PDF
Books edited
- Category Theory and Computer Programming
(joint editor with D. Pitt, A. Poigne and D. Rydeheard),
Springer 1986.
- Abstract Interpretation for Declarative Languages,
(joint editor with Chris Hankin), Ellis Horwood, 1987.
- Proceedings of TAPSOFT 91, (joint editor with T. S. E. Maibaum),
Springer Lecture Notes in Computer Science vols. 493--494, 1991.
- The Handbook of Logic in Computer Science
(joint editor with D. Gabbay and T. S. E. Maibaum),
published by Oxford University Press.
- Volume 1: Background: Mathematical Structures, published in 1992.
- Volume 2: Background: Computational Structures, published in 1992.
- Volume 3: Semantic Structures, published in 1995.
- Volume 4: Semantic Modelling, published in 1995.
- Volume 5: Logic and Algebraic Methods, published in 2000.
Refereed Articles
- S. Abramsky and S. Cook, Pascal-m in Office Information Systems,
in Office Information Systems, N. Naffah, ed. (North
Holland) 1982.
- S. Abramsky and R. Bornat, Pascal-m: a language for the design of
loosely coupled distributed systems, in
Distributed Computing Systems: Synchronization, Control and Coordination,
Y. Paker and J.-P. Verjus, eds.
(Academic Press) 1983, 163--189.
- S. Abramsky, Semantic Foundations for Applicative Multiprogramming,
in Automata, Languages and Programming, J. Diaz ed. (Springer-Verlag)
1983, 1--14.
- S. Abramsky, Experiments, Powerdomains and Fully Abstract Models for
Applicative Multiprogramming, in Foundations of Computation Theory,
M. Karpinski ed. (Springer-Verlag) 1983, 1--13.
- S. Abramsky, Reasoning about concurrent systems: a functional approach,
in Distributed Systems, F. Chambers, D. Duce and G. Jones, eds.
(Academic Press) 1984, 307--319.
-
S. Abramsky and R. Sykes,
SECD-M: a virtual machine for applicative multiprogramming, in Functional Languages and Computer Architecture, J.-P. Jouannaud ed.
(Springer-Verlag) 1985, 81--98.
- G. Burn, C. Hankin and S. Abramsky,
Strictness Analysis for Higher
Order Functions, Science of Computer Programming 7,
(1986), 249--278.
-
S. Abramsky,
Strictness Analysis and Polymorphic Invariance,
in Programs as Data Objects, H. Ganzinger and N. Jones, eds. (Springer-Verlag) 1986, 1--23.
-
G. Burn, C. Hankin and S. Abramsky, The Theory of Strictness Analysis for Higher Order
Functions, in Programs as Data Objects, H. Ganzinger and N. Jones,
eds. (Springer-Verlag) 1986, 42--62.
- S. Abramsky and C. Hankin, Introduction to Abstract Interpretation,
Ch. 1 in Abstract Interpretation for Declarative Languages,
S. Abramsky and C. Hankin, eds. (Ellis Horwood) 1987, 9--31.
- S. Abramsky, Observation Equivalence as a Testing Equivalence,
J. Theoretical Computer Science 53, (1987), 225--241.
- S. Abramsky, Domain Theory in Logical Form, in Symposium on
Logic in Computer Science, (Computer Society Press of the IEEE) 1987, 47--53.
PDF
- D. Fuller and S. Abramsky, Partial evaluation and MIX compilation
in PROLOG, New Generation Computing 6, (1988), 119--143.
- S. Abramsky, Observational Logic and Process Semantics (Abstract), in
Logic at Botik 89, A. Meyer and M. Taitslin, eds. (Springer-Verlag) 1989.
- S. Abramsky, The Lazy lambda-Calculus, in
Research Topics in Functional Programming, D. Turner,
ed. (Addison Wesley) 1990, 65--117.
PS,
PDF.
- S. Abramsky,
Abstract Interpretation, Logical Relations and Kan
Extensions, J. Logic and Computation, 1(1) (1990), 5--41.
-
S. Abramsky,
A Generalized Kahn Principle for Abstract Asynchronous
Networks, in Symposium on Mathematical Foundations of Programming
Language Semantics, M. Mislove, ed. (Springer-Verlag) 1990, 1--21.
PS
-
S. Abramsky, Domain Theory in Logical Form,
Annals of
Pure and Applied Logic 51, (1991), 1--77.
PS , PDF .
- S. Abramsky, A Domain Equation for Bisimulation,
J. Information
and Computation, 92(2) (1991), 161--218.
PS
-
S. Abramsky and T. Jensen,
A Relational Approach to Strictness Analysis
for Higher-Order Polymorphic Functions, in ACM Symposium on Principles of
Programming Languages, (ACM Press) 1991, 49--55.
-
S. Abramsky and R. Jagadeesan,
New Foundations for the Geometry of
Interaction, in Symposium on Logic in Computer Science,
(Computer Society Press of the IEEE) 1992, 211--222.
-
S. Abramsky and R. Jagadeesan, Games and Full Completeness for
Multiplicative Linear Logic, in Foundations of Software Technology
and Theoretical Computer Science, R. Shyamsundar, ed. (Springer-Verlag)
1992, 291--301.
- S. Abramsky and C.-H. L. Ong, Full Abstraction in the Lazy
lambda-calculus, Information and Computation, 105(2) (1993),
159--268.
- S. Abramsky and S. J. Vickers, Quantales, Observational Logic and
Process Semantics, Mathematical Structures in Computer Science,
(1993), vol. 3, 161--227.
PS
- S. Abramsky,
Computational Interpretations of Linear logic,
J. Theoretical Computer Science, 111 (1993), 3--57.
PS
- A. Finkelstein, J. Kramer, S. Abramsky, K. Broda, S. Drossopoulou
and S. Eisenbach, An Integrated Engineering Study Scheme in Computing,
Computer Journal, 36(4), (1993), 320--334.
- I. Mackie, L. Roman and S. Abramsky, An Internal Language for
Autonomous Categories, Journal of Applied Categorical Structures,
vol. 1, (1993), 311--343.
- S. Abramsky, Interaction Categories (Extended Abstract),
in Theory and Formal Methods 1993, G. L. Burn, S. J. Gay and M. D.
Ryan, ed. (Springer-Verlag) 1993, 57--69.
- S. Abramsky, Interaction Categories and Communicating Sequential
Processes, in A Classical Mind: Essays in honour of C. A. R. Hoare,
A. W. Roscoe, ed. (Prentice Hall International) 1994, 1--16.
- S. Abramsky and A. Jung, Domain Theory, in
Handbook of Logic in
Computer Science, S. Abramsky, D. Gabbay and T. S. E. Maibaum, eds.,
(Oxford University Press), 1994, 1--168.
PS PDF
- S. Abramsky and R. Jagadeesan,
New Foundations for the Geometry
of Interaction, Information and Computation, 111(1), (1994),
53--119.
PS PDF
- S. Abramsky and R. Jagadeesan,
Games and Full Completeness for
Multiplicative Linear Logic, Journal of Symbolic Logic, (1994),
vol. 59, no. 2, 543--574.
PS PDF
- S. Abramsky, Proofs as Processes,
J. Theoretical Computer Science vol. 135 (1994), 5--9.
PS
- S. Abramsky, R. Jagadeesan and P. Malacaria, Full Abstraction for PCF
(Extended Abstract), in Theoretical Aspects of Computer Software,
M. Hagiya and J. C. Mitchell, eds., (Springer-Verlag) 1994, 1--15.
- S. Abramsky and G. McCusker, Games and Full Abstraction for the
Lazy lambda-calculus, in Proceedings of the Tenth Annual
Symposium on Logic in Computer Science, D. Kozen, ed. (IEEE Computer Society
Press), 1995, 234--243.
PS
- S. Abramsky and G. McCusker, Games for recursive types,
in Proceedings of the 1994 Workshop on Theory and Formal Methods,
C. L. Hankin, ed. (Imperial College Press), 1995, 1--20.
PS
- S. Abramsky, S. Gay and R. Nagarajan,
Interaction Categories and
the Foundations of Typed Concurrent Programming, in Proceedings
of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design,
M. Broy, ed. (Springer-Verlag) 1996, 35--113.
PS
- S. Abramsky, S. Gay and R. Nagarajan, Specification Structures and
Propositions-as-Types for Concurrency, in Logics for Concurrency:
Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order
Workshop, G. Birtwistle and F. Moller, eds. (Springer-Verlag) 1996,
5--40.
PS
- S. Abramsky, Retracing some paths in process algebra,
in CONCUR `96: Concurrency Theory, 7th International Conference,
U. Montanari and V. Sassone, eds.
(Springer-Verlag) 1996, 1--17.
PS
- S. Abramsky, Semantics of Interaction: an introduction to
Game Semantics,
in Proceedings of the 1996 CLiCS Summer School,
Isaac Newton Institute, P. Dybjer and A. Pitts, eds.
(Cambridge University Press) 1997, 1--31.
PS
PDF
- S. Abramsky and G. McCusker,
Linearity, Sharing and State: a
fully abstract game semantics for Idealized Algol, in
Algol-like Languages, P. O'Hearn and R. D. Tennent, eds. (Birkhauser)
1997, 317--348.
PS
- S. Abramsky and D. Pavlovic, Specifying Processes, in
Proceedings of the International Symposium on Category
Theory In Computer Science, E. Moggi and G. Rosolini, eds.,
Springer Lecture Notes in
Computer Science Vol. 1290, (Springer-Verlag), 1997, 147--158.
PS
- S. Abramsky, Game Semantics for Programming Languages,
in 22nd International Symposium on Mathematical Foundations
of Computer Science, I. Privara and P. Ruzicka, eds., Springer
Lecture Notes in Computer Science Vol. 1295, (Springer-Verlag), 1997,
3--4.
- S. Abramsky and S. Gay and R. Nagarajan,
A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems,
in Theoretical Aspects of Computer Software,
M. Abadi and T. Ito, eds., Springer Lecture Notes in Computer Science
Vol. 1281, (Springer-Verlag),
1997, 295--320.
PS
- S. Abramsky, Games in the Semantics of Programming Languages,
in Proceedings of the 11th Amsterdam Colloquium,
P. Dekker, M. Stokhof and Y. Venema, eds., (ILLC, Dept. of Philosophy,
University of Amsterdam), 1997, 1--6.
PS
- S. Abramsky and G. McCusker, Call-by-value games,
in Proceedings of the Eleventh International Workshop on Computer Science Logic,
M. Nielsen and W. Thomas, eds., Springer Lecture Notes in Computer Science
Vol. 1414, (Springer-Verlag),
1998, 1--17.
PS
- S. Abramsky and K. Honda and G. McCusker,
A fully abstract game
semantics for general references, in Proceedings of the
Thirteenth International
Symposium on Logic in
Computer Science, (Computer Society Press of the IEEE) 1998,
334--344.
PS
- S. Abramsky, Axioms for Definability and Full Completeness,
in Essays in Honour of Robin Milner, G. Plotkin, M. Tofte and
C. Stirling, eds., (MIT Press) 1999, 55-75.
PS
- S. Abramsky and G. McCusker,
Game Semantics, in
Computational Logic: Proceedings of the 1997 Marktoberdorf
Summer School, H. Schwichtenberg and U. Berger, eds. (Springer-Verlag)
1999, 1--56.
PS
- S. Abramsky, R. Blute and P. Panangaden,
Nuclear and trace ideals in tensored *-categories,
J. Pure and Applied Algebra vol. 143 (1999), 3--47.
PS
- S. Abramsky, S. J. Gay and R. Nagarajan,
A Specification Structure for Deadlock-freedom of Synchronous Processes,
Theoretical Computer Science, vol. 222 (1999), 1--53.
PS
- S. Abramsky and G. McCusker,
Full Abstraction for Idealized Algol with passive expressions,
Theoretical Computer Science vol. 227 (1999), 3--42.
PS
- S. Abramsky and P.-A. Mellies, Concurrent Games and
Full Completeness, in Proceedings of the Fourteenth International
Symposium on Logic in Computer Science, (Computer Society Press of the IEEE)
1999, 431--442.
PS PDF
- S. Abramsky, Process Realizability, in
Foundations of Secure Computation: Proceedings of the 1999
Marktoberdorf Summer School,
F. L. Bauer and R. Steinbruggen, eds. (IOS Press) 2000, 167--180.
PS
- S. Abramsky, Concurrent Interaction Games, in
Millennial Perspectives in Computer Science,
J. Davies, A. W. Roscoe and J. Woodcock, eds. (Palgrave) 2000, 1--12.
PS
- S. Abramsky, R. Jagadeesan and P. Malacaria,
Full Abstraction for PCF, Information and Computation
vol. 163
(2000), 409--470.
PDF
- S. Abramsky and M. Lenisa,
A Fully Complete PER Model for ML
Polymorphic Types, in Proceedings of the Fourteenth International Workshop on
Computer Science Logic, P. Clote and H. Schwichtenberg, eds.,
Springer Lecture Notes in Computer Science Vol. 1862,
(Springer-Verlag) 2000, 140--155.
PS
- S. Abramsky and M. Lenisa, Axiomatizing Fully Complete Models
for
ML Polymorphic Types, in Proceedings of the International
Symposium on Mathematical Foundations of Computer Science,
M. Nielsen and B. Rovan, eds., Springer Lecture Notes in Computer
Science Vol. 1893, (Springer-Verlag) 2000, 141--151.
PS
- B. Thomsen and S. Abramsky,
A fully abstract denotational semantics for the calculus of
higher-order communicating systems, Theoretical Computer
Science vol. 254 (2001) 557--589.
- S. Abramsky and M. Lenisa, Fully Complete Minimal PER Models for
the Simply Typed lambda-calculus, CSL 2001 Conference Proceedings,
Springer LNCS Vol. 2142, 2001, 442--457.
PS
- S. Abramsky, A Structural Approach to Reversible Computation, in
LCCS 2001: Proceedings of the International Workshop on Logic
and Complexity in Computer Science, edited by D. Beauquier and
Y. Matiyasevich, LACL 2001, 1--16.
PS
- S. Abramsky,
Algorithmic Game Semantics: A Tutorial Introduction,
in Proof and System Reliability, H. Schichtenberg and
R. Steinbruggen, eds., Proceedings of the NATO Advanced
Study Institute, Marktoberdorf, Kluwer Academic Publishers, 2001,
21--47.
PS
- S. Abramsky, E. Haghverdi and P. Scott,
Geometry of Interaction
and linear combinatory algebras, in Mathematical Structures in
Computer Science vol. 12, 2002, 625--665.
PS
- S. Abramsky and B. Coecke,
Physical Traces: Quantum
vs. Classical Information Processing, in Electronic Notes in
Theoretical Computer Science, vol. 69, 2003, 1--26.
PDF
- S. Abramsky and R. Jagadeesan,
A Game semantics for Generic Polymorphism,
in Foundations of Software Science and Computational Structures,
6th International Conference, FOSSACS 2003,
A. D. Gordon, ed., Springer Lecture Notes in Computer Science
vol. 2620,
2003, 1--22.
PS
- S. Abramsky, Sequentiality vs. concurrency in games and logic,
Mathematical Structures in
Computer Science vol. 13, 2003, 531--565.
PS
- S. Abramsky, D. R. Ghica, L. Ong and A. Murawski,
Algorithmic Game Semantics and Component-Based Verification,
in Proceedings of SAVBCS 2003: Specification and Verification of
Component-Based Systems, Workshop at ESEC/FASE 2003, published as
Technical Report 03-11, Department of Computer Science, Iowa State
University, 2003, 66--74.
PDF
- S. Abramsky, D. Ghica, L. Ong and A. Murawski,
Applying Game Semantics to Compositional Software Modelling and
Verification,
in TACAS 2004: Tools and Algorithms for the Construction and
Analysis of Systems, 10 International Conference, Springer LNCS
Vol. 2988, 2004, 421--435.
PDF
- S. Abramsky, D. Ghica, A. Murawski, C.-H. Ong and I. Stark,
Nominal games and Full Abstraction for the Nu-Calculus,
in Proceedings of the 19th Annual IEEE Symposium on Logic in
Computer Science: LICS 2004,
IEEE Computer Society, 150--159, 2004.
PDF
- S. Abramsky,
High-Level Methods for Quantum Computation and Information,
in Proceedings of the 19th Annual IEEE Symposium on Logic in
Computer Science: LICS 2004,
IEEE Computer Society, 410--414, 2004.
PS
- S. Abramsky and B. Coecke,
A Categorical Semantics of Quantum Protocols,
in Proceedings of the 19th Annual IEEE Symposium on Logic in
Computer Science: LICS 2004,
IEEE Computer Society, 415--425, 2004.
PS
- S. Abramsky and R. Jagadeesan,
A Game Semantics for Generic Polymorphism,
in Annals of Pure and Applied Logic, vol 133, 3--37, 2005.
PS PDF
- S. Abramsky and B. Coecke,
Abstract Physical Traces,
in Theory and Applications of Categories, vol 14, 111--124, 2005.
PS
- S. Abramsky and M. Lenisa,
Linear realizability and full completeness for typed lambda-calculi,
in Annals of Pure and Applied Logic, vol 134, 122--168, 2005.
PS
- S. Abramsky,
What are the fundamental structures of concurrency? We still don't know!,
in Algebraic process calculi: the first 25 years and beyond, BRICS Notes Series NS-05-03, June 2005.
PDF
- S. Abramsky,
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories,
in Proceedings of CALCO 2005, Springer Lecture Notes in Computer Science Vol. 3629, 1--31, 2005.
PDF
- S. Abramsky,
A Cook's Tour of the Finitary Non-Well-Founded Sets,
in We Will Show Them: Essays in honour of Dov Gabbay, edited by
Sergei Artemov, Howard Barringer, Artur d'Avila Garcez, Luis C. Lamb and John Woods, College Publications, Vol. 1, 1--18, 2005.
PDF
- S. Abramsky,
A Structural Approach To Reversible Computation,
Theoretical Computer Science vol. 347(3), 441--464, 2005.
PDF
- S. Abramsky,
Socially Responsive, Environmentally Friendly Logic,
Truth and Games: Essays in Honour of Gabriel Sandu,
Aho, Tuomo and Ahti-Veikko Pietarinen, eds., Acta Philosophica Fennica,
Helsinki, 2006.
PDF
- S. Abramsky and R. Duncan,
A Categorical Quantum Logic,
Mathematical Structures in
Computer Science, vol. 16, 469--489,
2006.
PDF
- S. Abramsky,
Event Domains, Stable Functions and Proof Nets,
Electronic Notes in Theoretical Computer Science, vol. 172, 33--67, 2007.
PDF
- S. Abramsky,
Physics From Computer Science,
International Journal of Unconventional Computing,
vol. 3:3, 179--197, 2007.
PDF
- S. Abramsky,
Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics
In Mathematics of Quantum Computing and Technology,
Goong Chen, Louis Kauffman and Sam Lomonaco, eds. Taylor and Francis, 515--558, 2007.
PDF
- S. Abramsky,
A Compositional Game Semantics for Multi-Agent Logics of Imperfect Information
In Interactive Logic, edited by J. van Benthem, D. Gabbay and B. Lowe,
Texts in Logic and Games Vol. 1, 11--48, Amsterdam University Press 2007.
PDF
- S. Abramsky and J. Vaananen,
From IF to BI: a tale of dependence and separation
Submitted.
PDF
