| 1992 | Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt |
| 1991 | A Monoidal Closed Category of Event Structures. Guo-Qiang Zhang |
| 1991 | A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. Michael W. Mislove, Frank J. Oles |
| 1991 | An Algorithm for Analyzing Communicating Processes. Nicolas Mercouroff |
| 1991 | An Exper Model for Quest. Giuseppe Rosolini |
| 1991 | An Upper Power Domain Construction in Terms of Strongly Compact Sets. Reinhold Heckmann |
| 1991 | Call-by-Value Combinatory Logic and the Lambda-Value Calculus. John Gateley, Bruce F. Duba |
| 1991 | Cartesian Closed Categories of Domains and the Space Proj(D). Michael Huth |
| 1991 | Connections. Austin Melton, Bernd S. W. Schröder, George E. Strecker |
| 1991 | Continuous Functions and Parallel Algorithms on Concrete Data Structures. Stephen D. Brookes, Shai Geva |
| 1991 | Correctness of Procedure Representations in Higher-Order Assembly Language. Mitchell Wand |
| 1991 | Decomposition of Domains. Achim Jung, Leonid Libkin, Hermann Puhlmann |
| 1991 | Equations for if-then-else. Ernest G. Manes |
| 1991 | From Operational to Denotational Semantics. Scott F. Smith |
| 1991 | HSP Type Theorems in the Category of Posets. Michael Barr |
| 1991 | Information Links in Domain Theory. Jon Barwise |
| 1991 | Liminf Progress Measures. Nils Klarlund |
| 1991 | Nonwellfounded Sets and Programming Language Semantics. Jan J. M. M. Rutten |
| 1991 | On Continuous Time Agents. Stefano Kasangian, Anna Labella |
| 1991 | On Relating Concurency and Nondeterminism. Luca Aceto |
| 1991 | Primitive Recursive Functionals with Dependent Types. Neal Nelson |
| 1991 | Program Correctness and Matricial Iteration Theories. Stephen L. Bloom, Zoltán Ésik |
| 1991 | Simultaneous Substitution in the Typed Lambda Calculus. John W. Gray |
| 1991 | The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. Kim B. Bruce |
| 1991 | Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. Bard Bloom, Marta Z. Kwiatkowska |
| 1991 | Typed Homomorphic Relations Extended with Sybtypes. Gary T. Leavens, Don Pigozzi |
| 1991 | Types, Abstractions, and Parametric Polymorphism, Part 2. Qingming Ma, John C. Reynolds |