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
Last update Tue May 21 18:51:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
