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
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, Presenting de Groot duality of stably compact spaces