scientific article; zbMATH DE number 107999
From MaRDI portal
Publication:4023580
basic recursion theorycomplete partial ordersdomain equationsdomain theorydomainsdomains as models of formal theorieseffective domainsfixed pointspartial elementpower domainsrepresentability in domainsrepresentation theorytopologyuniversal domain
Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Ordered sets (06A99) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)
Recommendations
- scientific article; zbMATH DE number 5297230
- Domain theory aspects of extensions of integral domains
- Domain theory and topology.
- scientific article; zbMATH DE number 1959534
- scientific article; zbMATH DE number 3881863
- scientific article; zbMATH DE number 1531375
- Domain theoretical differential calculi
- scientific article; zbMATH DE number 1231648
- Domain theory and integration
- Theory of complex homogeneous bounded domains
Cited in
(76)- 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
- Special issue on domain theory
- Uniform approximation of topological spaces
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- 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.
- Schulze voting as evidence carrying computation
- The Cuntz semigroup and domain theory
- Equilogical spaces
- Formal spaces and their effective presentations
- A type theoretic interpretation of constructive domain theory
- Fixed points and completeness in metric and generalized metric spaces
- On degree spectra of topological spaces
- Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory
- Reverse mathematics and computability theory of domain theory
- Comparing recursive equilibrium in economies with dynamic complementarities and indeterminacy
- Denotational semantics for thread algebra
- A term calculus for (co-)recursive definitions on streamlike data structures
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Higher-order concepts for the potential infinite
- Generalized Scott topology on sets with families of pre-orders
- Continuous functions on final coalgebras
- Atomicity, coherence of information, and point-free structures
- Domain equations based on sets with families of pre-orders.
- On monotone modalities and adjointness
- Web spaces and worldwide web spaces: topological aspects of domain theory
- Typed vs. untyped realizability
- 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
- scientific article; zbMATH DE number 3965417 (Why is no real title available?)
- scientific article; zbMATH DE number 1189290 (Why is no real title available?)
- scientific article; zbMATH DE number 1229489 (Why is no real title available?)
- scientific article; zbMATH DE number 730303 (Why is no real title available?)
- scientific article; zbMATH DE number 1531372 (Why is no real title available?)
- Disorder in domain theory
- Nonflatness and totality
- scientific article; zbMATH DE number 2120509 (Why is no real title available?)
- A relationship between equilogical spaces and type two effectivity
- On finite-time computability preserving conversions
- Self-sustaining autocatalytic networks within open-ended reaction systems
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Various constructions of continuous information systems
- Towards interval uncertainty propagation control in bivariate aggregation processes and the introduction of width-limited interval-valued overlap functions
- Dynamics of diffusion on monoplex and multiplex networks: a message-passing approach
- How much partiality is needed for a theory of computability?
- Domain theory aspects of extensions of integral domains
- Replacing pooling functions in convolutional neural networks by linear combinations of increasing functions
- Formal definitions and proofs for partial (co)recursive functions
- Countability constraints in order-theoretic approaches to computability
- Monoidal streams for dataflow programming
- Domain representability of metric spaces
- Domains, information frames, and their logic
- Coinductive streams in monoidal categories
- Program self-reference in constructive Scott subdomains
- Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
- Domains, information frames, rough sets: an equivalence of categories
- A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
- Meet continuity properties of posets
- Generalised information systems capture L-domains
- 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
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 Q4023580)
