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)
Preface Abramsky, S Maibaum, T (01 Jan 1991)
Study of a Hall thruster discharge with an intermediate electrode
 Parra, F Ahedo, E 39th AIAA/ASME/SAE/ASEE Joint Propulsion Conference and Exhibit (01 Dec 2003)
Subscribe to