scientific article; zbMATH DE number 1231570

zbMath0911.68133MaRDI QIDQ4222889

Reinhold Heckmann

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#heckmann

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract valuations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

Observationally-induced algebras in domain theory ⋮ 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 ⋮ Unnamed Item ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Quantitative semantics, topology, and possibility measures

This page was built for publication: