Electronic Notes in Theoretical Computer Science, Volume 6

Volume 6, 1997

• Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove:
  Foreword.
  
• Dedication.
  
• 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.
  
• Patrick Cousot:
  Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.
  
• Frank S. de Boer, Maurizio Gabbrielli:
  Infinite computations in concurrent constraint programming.
  
• Abbas Edalat, Peter John Potts:
  A new representation for exact real numbers.
  
• Marcelo P. Fiore, Giuseppe Rosolini:
  The category of cpos from a synthetic viewpoint.
  
• Bob Flagg, Ralph Kopperman:
  Computational models for ultrametric spaces.
  
• Reinhold Heckmann:
  Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace.
  
• Hongde Hu, André Joyal:
  Coherence completions of categories and their enriched softness.
  
• Michael Huth:
  A powerdomain of possibility measures.
  
• Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
  Multi lingual sequent calculus and coherent spaces.
  
• Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov:
  Phase semantics for light linear logic.
  
• Yoshiki Kinoshita, John Power, Makoto Takeyama:
  Sketches.
  
• Michael Makkai, Giuseppe Rosolini:
  Studying repleteness in the category of cpos.
  
• Michael W. Mislove:
  Using duality to solve domain equations.
  
• Eugenio Moggi:
  A categorical account of two-level languages.
  
• Susan Older:
  A Framework for Fair Communicating Processes.
  
• John Power:
  Modularity in denotational semantics.
  
• Vaughan R. Pratt:
  Towards full completeness of the linear logic of Chu spaces.
  
• Michael B. Smyth:
  Topology and tolerance.
  
• Philipp Sünderhauf:
  Tensor products and powerspaces in quantitative domain theory.
  
• Hayo Thielecke:
  Continuation semantics and self-adjointness.
  
• Peter Thiemann:
  Correctness of a region-based binding-time analysis.
  
• Franck van Breugel:
  Failures, finiteness and full abstraction.
  
• Guo-Qiang Zhang, William C. Rounds:
  Resolution in the Smyth powerdomain.