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