scientific article; zbMATH DE number 1231447

zbMath0910.68130MaRDI QIDQ4222746

Gianna Bellè, Paolo Baldan, Fabio Alessi, Jan J. M. M. Rutten

Publication date: 9 December 1998

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

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

zbMATH Keywords

domain equations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (8)

Recursively defined metric spaces without contraction ⋮ The category-theoretic solution of recursive metric-space equations ⋮ A characterization of distance between 1-bounded compact ultrametric spaces through a universal space ⋮ The equational logic of fixed points ⋮ Elements of generalized ultrametric domain theory ⋮ A fixed-point theorem in a category of compact metric spaces ⋮ A New Approach to Quantitative Domain Theory ⋮ Topology, domain theory and theoretical computer science

This page was built for publication: