Publication:4023580

Viggo Stoltenberg-Hansen, Edward R. Griffor, Ingrid Lindström

Publication date: 23 January 1993

fixed points; domains; topology; representation theory; basic recursion theory; domain theory; complete partial orders; effective domains; domain equations; power domains; universal domain; domains as models of formal theories; partial element; representability in domains

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

06A99: Ordered sets

06B35: Continuous lattices and posets, applications

03D20: Recursive functions and relations, subrecursive hierarchies

03D45: Theory of numerations, effectively presented structures

06-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures

Related Items

Unnamed Item, Domain representability of metric spaces, Program self-reference in constructive Scott subdomains, Meet continuity properties of posets, Two categories of effective continuous cpos, Towards a descriptive set theory for domain-like structures, The best interval representations of t-norms and automorphisms, Information systems revisited -- the general continuous case, A differential operator and weak topology for Lipschitz maps, Processes with local and global liveness requirements, A constructive theory of continuous domains suitable for implementation, A domain-theoretic approach to computability on the real line, Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets, Concrete models of computation for topological algebras, Computation by `While' programs on topological partial algebras, Topology, domain theory and theoretical computer science, Uniform approximation of topological spaces, The connection between initial and unique solutions of domain equations in the partial order and metric approach, Representability of locally compact regular spaces by domains and formal spaces, Generalized metrics and uniquely determined logic programs., Domain representations of topological spaces, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry., Equilogical spaces, Formal spaces and their effective presentations, A type theoretic interpretation of constructive domain theory, Denotational semantics for thread algebra, A term calculus for (co-)recursive definitions on streamlike data structures, On monotone modalities and adjointness, Reducibility of domain representations and Cantor–Weihrauch domain representations, Domain representations of spaces of compact subsets, Program Self-reference in Constructive Scott Subdomains, Implementing Services by Partial State Machines, Effective λ-models versus recursively enumerable λ-theories