On semantic foundations for applicative multiprogramming
 Abramsky, S Lecture Notes in Computer Science volume 154 1-14 (26 Dec 1983)
Specification Structures and propositions-as-types for concurrency
 Abramsky, S Gay, S Nagarajan, R Lecture Notes in Computer Science volume 1043 5-40 (02 Jun 1996)
A fully abstract game semantics for general references
 Abramsky, S Honda, K McCusker, G Proceedings 11th Annual IEEE Symposium on Logic in Computer Science 334-344 (01 Jan 1998)
Foreword (18 Apr 2014)
Strictness analysis and polymorphic invariance
 Abramsky, S 1-23 (29 May 1986)
Preface Abramsky, S Maibaum, T (01 Jan 1991)
Preface Pitt, D Curien, P Abramsky, S Pitts, A Poigne, A Rydeheard, D (01 Jan 1991)
Quantales, observational logic and process semantics
 Abramsky, S Vickers, S Mathematical Structures in Computer Science volume 3 issue 2 161-227 (04 Jun 1993)
The theory of strictness analysis for higher order functions
 Burn, G Hankin, C Abramsky, S Lecture Notes in Computer Science volume 217 42-62 (29 May 1986)
Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings
 Pitt, D Curien, P Abramsky, S Pitts, A Poigne, A Rydeheard, D Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 530 LNCS (01 Jan 1991)
Subscribe to