scientific article

From MaRDI portal

Revision as of 08:45, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3699677

Jump to:navigation, search

zbMath0578.03019MaRDI QIDQ3699677

Max Dauchet, Gerard Comyn

Publication date: 1985

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

zbMATH Keywords

Lawson topology canonical metric topological properties semantic domains order completions complete partial orders ordered domains metric completions induced topology decidable objects computable completions effective Cauchy sequences finitary elements infinitary CPOs infinitary objects metric structure of functional spaces syntactic CPOs

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Ordered topological structures (06F30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Infinite concurrent systems. I: The relationship between metric and order convergence ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ A metric for traces ⋮ Metric completion versus ideal completion

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3699677&oldid=17189849"