scientific article; zbMATH DE number 1479636

MaRDI QIDQ4490751zbMATH OpenFDO

Authors Kim Ritter Wagner

Publication date 20 July 2000

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Quantales (06F07) Semantics in the theory of computing (68Q55)

Recommendations

• Elements of generalized ultrametric domain theory
• Continuous pre-ordered sets
• Liminf convergence in \(\Omega\)-categories
• scientific article; zbMATH DE number 1231628
• Domain equations based on sets with families of pre-orders.

Cited in

(4)

• Liminf convergence in \(\Omega\)-categories
• On Ruppert's preordering
• Special classes of positive preorders
• Domain equations based on sets with families of pre-orders.

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 Q4490751)