default search action
13th MFPS 1997: Pittsburgh, PA, USA
- Stephen D. Brookes, Michael W. Mislove:
Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997. Electronic Notes in Theoretical Computer Science 6, Elsevier 1997 - Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
:
Foreword. 1-2 - Dedication. 3
- Gilles Barthe
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
Resolution in the Smyth powerdomain. 409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: