| 1997 | A Framework for Fair Communicating Processes. Susan Older |
| 1997 | A categorical account of two-level languages. Eugenio Moggi |
| 1997 | A new representation for exact real numbers. Abbas Edalat, Peter John Potts |
| 1997 | A notion of classical pure type system. Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
| 1997 | A powerdomain of possibility measures. Michael Huth |
| 1997 | Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace. Reinhold Heckmann |
| 1997 | Coherence completions of categories and their enriched softness. Hongde Hu, André Joyal |
| 1997 | Computational models for ultrametric spaces. Bob Flagg, Ralph Kopperman |
| 1997 | Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Patrick Cousot |
| 1997 | Continuation semantics and self-adjointness. Hayo Thielecke |
| 1997 | Correctness of a region-based binding-time analysis. Peter Thiemann |
| 1997 | Dedication. |
| 1997 | Failures, finiteness and full abstraction. Franck van Breugel |
| 1997 | Foreword. Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove |
| 1997 | Idealized CSP: combining procedures with communicating processes. Stephen D. Brookes |
| 1997 | Infinite computations in concurrent constraint programming. Frank S. de Boer, Maurizio Gabbrielli |
| 1997 | Modularity in denotational semantics. John Power |
| 1997 | Multi lingual sequent calculus and coherent spaces. Achim Jung, Mathias Kegelmann, M. Andrew Moshier |
| 1997 | Phase semantics for light linear logic. Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov |
| 1997 | Resolution in the Smyth powerdomain. Guo-Qiang Zhang, William C. Rounds |
| 1997 | Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. Yoshiki Kinoshita, John Power, Makoto Takeyama |
| 1997 | Studying repleteness in the category of cpos. Michael Makkai, Giuseppe Rosolini |
| 1997 | Tensor products and powerspaces in quantitative domain theory. Philipp Sünderhauf |
| 1997 | The category of cpos from a synthetic viewpoint. Marcelo P. Fiore, Giuseppe Rosolini |
| 1997 | Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997 Stephen D. Brookes, Michael W. Mislove |
| 1997 | Topology and tolerance. Michael B. Smyth |
| 1997 | Towards full completeness of the linear logic of Chu spaces. Vaughan R. Pratt |
| 1997 | Using duality to solve domain equations. Michael W. Mislove |