| 1991 | Decomposition of Domains. | Achim Jung, Leonid Libkin, Hermann Puhlmann |
| 1991 | Cartesian Closed Categories of Domains and the Space Proj(D). | Michael Huth |
| 1991 | An Upper Power Domain Construction in Terms of Strongly Compact Sets. | Reinhold Heckmann |
| 1991 | Simultaneous Substitution in the Typed Lambda Calculus. | John W. Gray |
| 1991 | Call-by-Value Combinatory Logic and the Lambda-Value Calculus. | John Gateley, Bruce F. Duba |
| 1991 | The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. | Kim B. Bruce |
| 1991 | Continuous Functions and Parallel Algorithms on Concrete Data Structures. | Stephen D. Brookes, Shai Geva |
| 1991 | Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. | Bard Bloom, Marta Z. Kwiatkowska |
| 1991 | Program Correctness and Matricial Iteration Theories. | Stephen L. Bloom, Zoltn sik |
| 1991 | Information Links in Domain Theory. | Jon Barwise |
| 1991 | HSP Type Theorems in the Category of Posets. | Michael Barr |
| 1991 | On Relating Concurency and Nondeterminism. | Luca Aceto |
| 1989 | Equationally Fully Abstract Models of PCF. | Allen Stoughton |
| 1989 | Connections between a Concrete and an Abstract Model of Concurrent Systems. | Eugene W. Stark |
| 1989 | Unbounded Nondeterminism in CSP. | A. W. Roscoe, Geoff Barrett |
| 1989 | A Hierarchy of Domains for Real-Time Distributed Computing. | George M. Reed |
| 1989 | An Algebraic Formulation for Data Refinement. | A. John Power |
| 1989 | Inductively Defined Types in the Calculus of Constructions. | Frank Pfenning, Christine Paulin-Mohring |
| 1989 | Does "N+1 Times" Prove More Programs Correct Than "N Times"? | Ana Pasztor |
| 1989 | A Category-theoretic Semantics for Unbounded Indeterminacy. | Prakash Panangaden, James R. Russell |
| 1989 | Generalization of Final Algebra Semantics by Relativization. | Lawrence S. Moss, Satish R. Thatte |
| 1989 | On Some Semantic Issues in the Reflective Tower. | Karoline Malmkjr |
| 1989 | Semantic Models for Total Correctness and Fairness. | Michael G. Main, David L. Black |
| 1989 | Categorical Semantics for Programming Languages. | Jifeng He, C. A. R. Hoare |
| 1989 | L-domains and Lossless Powerdomains. | Radha Jagadeesan |