Publication:4222889
From MaRDI portal
zbMath0911.68133MaRDI QIDQ4222889
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#heckmann
68Q55: Semantics in the theory of computing
Related Items
Unnamed Item, Observationally-induced algebras in domain theory, Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases, Quantitative semantics, topology, and possibility measures, Combining algebraic effect descriptions using the tensor of complete lattices, Presenting de Groot duality of stably compact spaces, Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks