| 1989 | Algebraic Types in PER Models. | J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini |
| 1989 | Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. | Elsa L. Gunter |
| 1989 | Initial Algebra Semantics for Lambda Calculi. | John W. Gray |
| 1989 | Factorizing Proofs in Timed CSP. | Jim Davies, Steve A. Schneider |
| 1989 | Operations on Records. | Luca Cardelli, John C. Mitchell |
| 1989 | The Semantics of Priority and Fairness in occam. | Geoff Barrett |
| 1989 | Termination, Deadlock and Divergence. | Luca Aceto, Matthew Hennessy |
| 1989 | A Generalized Kahn Principle for Abstract Asynchronous Networks. | Samson Abramsky |
| 1987 | Initial Algebra Semantics and Concurrency. | Maria Zamfir |
| 1987 | The Formal Description of Data Types Using Sketches. | Charles Wells, Michael Barr |
| 1987 | An Action Semantics of Standard ML. | David A. Watt |
| 1987 | Semantics of Block Structured Languages with Pointers. | Eric G. Wagner |
| 1987 | An Algorithmic Approach to the p-adic Integers. | Steven Vickers |
| 1987 | Computable One-to-one Enumerations of Effective Domains. | Dieter Spreen |
| 1987 | Quasi Uniformities: Reconciling Domains with Metric Spaces. | Michael B. Smyth |
| 1987 | Operational Semantics and a Distributed Implementation of CSP. | Gerlinde Schreiber |
| 1987 | Rule-Based Semantics for an Extended Lambda-Calculus. | Gyrgy E. Rvsz |
| 1987 | Metric Spaces as Models for Real-Time Concurrency. | George M. Reed, A. W. Roscoe |
| 1987 | Semantics-Based Tools for a Specification-Support Environment. | Joylyn Reed |
| 1987 | High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. | Uwe F. Pleban, Peter Lee |
| 1987 | Kan Extensions in Effective Semantics. | Philip S. Mulry |
| 1987 | On the Smyth Power Domain. | Michael W. Mislove |
| 1987 | Assertional Categories. | Ernie Manes |
| 1987 | The Versatile Continuous Order. | Jimmie D. Lawson |
| 1987 | The Metric Closure Powerspace Construction. | Robert E. Kent |