Volume 6, 1997

MFPS XIII Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference
Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997

• 
  Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword. 1-2
• 
  Dedication. 3
• 
  Gilles Barthe, John Hatcliff, Morten Heine Sørensen: A notion of classical pure type system. 4-59
• 
  Stephen D. Brookes: Idealized CSP: combining procedures with communicating processes. 60-76
• 
  Patrick Cousot: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. 77-102
• 
  Frank S. de Boer, Maurizio Gabbrielli: Infinite computations in concurrent constraint programming. 103-118
• 
  Abbas Edalat, Peter John Potts: A new representation for exact real numbers. 119-132
• 
  Marcelo P. Fiore, Giuseppe Rosolini: The category of cpos from a synthetic viewpoint. 133-150
• 
  Bob Flagg, Ralph Kopperman: Computational models for ultrametric spaces. 151-159
• 
  Reinhold Heckmann: Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace. 160-173
• 
  Hongde Hu, André Joyal: Coherence completions of categories and their enriched softness. 174-190
• 
  Michael Huth: A powerdomain of possibility measures. 191-202
• 
  Achim Jung, Mathias Kegelmann, M. Andrew Moshier: Multi lingual sequent calculus and coherent spaces. 203-220
• 
  Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov: Phase semantics for light linear logic. 221-234
• 
  Yoshiki Kinoshita, John Power, Makoto Takeyama: Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. 235-248
• 
  Michael Makkai, Giuseppe Rosolini: Studying repleteness in the category of cpos. 249-254
• 
  Michael W. Mislove: Using duality to solve domain equations. 255-271
• 
  Eugenio Moggi: A categorical account of two-level languages. 272
• 
  Susan Older: A Framework for Fair Communicating Processes. 273-292
• 
  John Power: Modularity in denotational semantics. 293-307
• 
  Vaughan R. Pratt: Towards full completeness of the linear logic of Chu spaces. 308-325
• 
  Michael B. Smyth: Topology and tolerance. 326
• 
  Philipp Sünderhauf: Tensor products and powerspaces in quantitative domain theory. 327-347
• 
  Hayo Thielecke: Continuation semantics and self-adjointness. 348-364
• 
  Peter Thiemann: Correctness of a region-based binding-time analysis. 365-390
• 
  Franck van Breugel: Failures, finiteness and full abstraction. 391-408
• 
  Guo-Qiang Zhang, William C. Rounds: Resolution in the Smyth powerdomain. 409