scientific article; zbMATH DE number 1231583

MaRDI QIDQ4222902zbMATH OpenFDO

Authors Philipp Sünderhauf

Publication date 20 December 1998

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

zbMATH Keywords

Hoare powerdomainsquantiative domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Tensor products and relation quantales
• Tensor products of power Köthe spaces of different types
• Quotients of tensor product spaces
• Tensor products of several spaces and nuclearity
• Tensor products in generalized measure theory
• The tensor algebra of power series spaces
• scientific article; zbMATH DE number 31266
• Tensor products of complete lattices and their application in constructing quantales
• Tensor product and theories of modules

Cited in

(4)

• A duality theorem for quantitative semantics
• Similarity, topology, and uniformity
• Quantitative semantics, topology, and possibility measures
• Combining algebraic effect descriptions using the tensor of complete lattices

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222902)