scientific article; zbMATH DE number 783754
From MaRDI portal
zbMath0829.68111MaRDI QIDQ4843177
No author found.
Publication date: 10 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items
Some open problems on well-filtered spaces and sober spaces, The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets., \(\mathbb T^\omega\) as a stable universal domain., Characterising E-projectives via co-monads, Some corollaries of the correspondence between partial metrics and multivalued equalities, Fundamental duality of abstract categories and its applications, QRB, QFS, and the probabilistic powerdomain, Generalised information systems capture L-domains, Latticed \(k\)-induction with an application to probabilistic programs, Essential and density topologies of continuous domains, Atomicity, coherence of information, and point-free structures, A representation of t-norms in interval-valued \(L\)-fuzzy set theory, Any \(T_1\) space has a continuous poset model, Developments in concurrent Kleene algebra, Efficient optimally lazy algorithms for minimal-interval semantics, PCF extended with real numbers, When is the ideal completion of abstract basis algebraic, Notions from rough set theory in a generalized dependency relation context, Syntax and operational semantics of a probabilistic programming language with scopes, Generalized ultrametric spaces in quantitative domain theory, A logical approach to stable domains, Imperative abstractions for functional actions, A computational model for metric spaces, Consistent Hoare powerdomains over dcpos, Monoidal computer. I: Basic computability by string diagrams, Convergence of preference functions, Trees and semantics, Note on free algebras over continuous domains, From subcompact to domain representable, Bases of closure systems over residuated lattices, QC-continuity of posets and the Hoare powerdomain of QFS-domains, Interpolating functions, Effectiveness in RPL, with applications to continuous logic, Function spaces from Lawson compact continuous domains to continuous B-domains, Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\), A duality of generalized metric spaces, Duality and canonical extensions for stably compact spaces, Some points in formal topology., Consistent Hoare powerdomains., Consistent Plotkin powerdomains., Weak algebraic information systems and a new equivalent category of DOM of domains, Strongly continuous posets and the local Scott topology, Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases, Domain theoretical differential calculi, A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations, Range universal spaces, Observationally-induced lower and upper powerspace constructions, A Hofmann-Mislove theorem for bitopological spaces, Duality beyond sober spaces: Topological spaces and observation frames, Domain theory and integration, Elements of generalized ultrametric domain theory, Bitopology and four-valued logic, Yoneda completion via a dcpo completion of its poset of formal balls, Connectedness and local connectedness for lattice-valued convergence spaces, The probabilistic powerdomain from a topological viewpoint, Maximal classes of spaces and domains determined by topologies on function spaces of domains, Machine semantics, Comparing free algebras in topological and classical domain theory, Algebraic information theory for binary channels, Approximation in quantale-enriched categories, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, A differential operator and weak topology for Lipschitz maps, Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets, The probabilistic powerdomain for stably compact spaces, Stone coalgebras, Convex power domain and Vietoris space, A bitopological point-free approach to compactifications, Transforming semantics by abstract interpretation, Notes on the products of the lower topology and Lawson topology on posets, Real number computation with committed choice logic programming languages, A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces, Quantitative simulations by matrices, Introduction to Turing categories, Meet continuity properties of posets, Function spaces from core compact coherent spaces to continuous B-domains, Operational domain theory and topology of sequential programming languages, Completions of partial metrics into value lattices, On the construction of free algebras for equational systems, A constructive theory of continuous domains suitable for implementation, Rough concept lattices and domains, Full abstractness for a functional/concurrent language with higher-order value-passing, A domain-theoretic approach to computability on the real line, Induction and recursion on the partial real line with applications to Real PCF, Structural induction and coinduction in a fibrational setting, Ordinal decompositions for preordered root systems, Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets, Computable Banach spaces via domain theory, Concrete models of computation for topological algebras, Quantitative semantics, topology, and possibility measures, The generalized Riemann integral on locally compact spaces, Properly injective spaces and function spaces, The way-below relation of function spaces over semantic domains, Uniform approximation of topological spaces, Domain representations of topological spaces, Polish spaces, computable approximations, and bitopological spaces, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Bisimulation indexes and their applications, Foundation of a computable solid modelling., Coding strategies, the Choquet game, and domain representability, Entropy as a fixed point, The monad on strong quasi-metric spaces, Topological games in domain theory, \(RW\)-spaces and compactness of function spaces for L-domains, Bounded complete models of topological spaces, Domain-complete and LCS-complete spaces, Algebras of the extended probabilistic powerdomain monad, On \(\mathrm{SI}_2\)-continuous spaces, A Cartesian closed category of domains with almost algebraic bases, Quasi-continuous Yoneda complete quasi-metric space, The duality theory of general \(\mathcal{Z}\)-continuous posets, \(s_2\)-quasialgebraic posets, Core-compactness, consonance and the Smyth powerspaces, Logic programs and connectionist networks, Order-incompleteness and finite lambda reduction models, Domain theoretic second-order Euler's method for solving initial value problems, Continuous monads, Infinite intersection types, Semantics of a sequential language for exact real-number computation, Discrete random variables over domains, Unnamed Item, A note on coherence of dcpos, Typed vs. Untyped Realizability, Topological properties of the binary supremum function, A concrete realization of the Hoare powerdomain, Constructing a quasi-uniform function space, Denotational semantics of hybrid automata, Computability of probability measures and Martin-Löf randomness over metric spaces, Towards the Effective Descriptive Set Theory, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Completing simple valuations in K-categories, Consistent Smyth powerdomains of topological spaces and quasicontinuous domains, On Cartesian closed extensions of non-pointed domains, Weak well-filtered spaces and coherence, The upper topology and interval topology on quasi-hypercontinuous posets, On a new convergence in topological spaces, Remarks on hyperspaces for Priestley spaces, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Domain Theory and the Causal Structure of Space-Time, A topological duality for dcpos, Coincidence of the Isbell and Scott topologies on domain function spaces, Characterising E-projectives via Comonads, On degree spectra of topological spaces, Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks, Algebraic lattices of solvably saturated formations and their applications, Category-theoretic fuzzy topological spaces and their dualities, Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains, Compact continuous \(L\)-domains, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Intuitionistic fixed point logic, Representations of stably continuous semi-lattices by information systems and abstract bases, Closures in Binary Partial Algebras, On Rough Concept Lattices, An abstract interpretation-based model for safety semantics, Complete and directed complete \(\Omega \)-categories, Spreading nets: a uniform approach to unfoldings, Effectful applicative similarity for call-by-name lambda calculi, Consistent Smyth powerdomains., Unnamed Item, Cartesian closed categories of separable Scott domains, Anatomy of a domain of continuous random variables. I, \(s_2\)-quasicontinuous posets., Unnamed Item, A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains, Exact join detection for convex polyhedra and other numerical abstractions, Weak topologies and compactness in asymmetric functional analysis, On the computational content of the Lawson topology, Characterizing right inverses for spatial constraint systems with applications to modal logic, Safe \& robust reachability analysis of hybrid systems, An expressively complete linear time temporal logic for Mazurkiewicz traces, A relational account of call-by-value sequentiality, Some characterizations of weak sobriety and upper spaces, The Banach-Mazur game and domain theory, Domains and stochastic processes, Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting, Reasoning about distributed information with infinitely many agents, The formal ball model for -categories, Concurrent semantics for fusions: weak prime domains and connected event structures, On almost sober spaces, Two topologies on the lattice of Scott closed subsets, On the equivalence of Rudin's lemma and the Boolean prime ideal theorem, Generalized quasi-metric semilattices, Completeness in probabilistic quasi-uniform spaces, Consistent-linear \textit{FS}-domains, A LATTICE-BASED APPROACH TO THE PROBLEM OF RECRUITMENT IN MULTIAGENT SYSTEMS, The constructive maximal point space and partial metrizability, On finite-state approximants for probabilistic computation tree logic, A Domain-Theoretic Account of Picard's Theorem, Bundle event structures: a revised cpo approach., From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, On finitary functors and their presentations, Closures on CPOs form complete lattices, Toward an infinitary logic of domains: Abramsky logic for transition systems, Full abstraction for PCF, Clausal logic and logic programming in algebraic domains, Remarks on Testing Probabilistic Processes, Extension of valuations on locally compact sober spaces, Towards a Quantum Calculus, Partial order and a T0-topology in a set of finite quantum systems, Two Cartesian closed subcategories of fuzzy domains, All Cartesian closed categories of quasicontinuous domains consist of domains, NETS AND SEPARATED S-POSETS, Convenient category of processes and simulations I: Modulo strong bisimilarity, Domain Theory in General Relativity, Separating minimal valuations, point-continuous valuations, and continuous valuations, Unnamed Item, Weakly weighted generalised quasi-metric spaces and semilattices, From semantics to types: the case of the imperative \(\lambda\)-calculus, Normal forms, linearity, and prime algebraicity over nonflat domains, A new fixed point theorem in domain theory, Isomorphism theorems between models of mixed choice, The stone representations for generalized continuous posets, Exponentiable morphisms of domains, Continuous Fragment of the mu-Calculus, Strong inclusion orders between L-subsets and its applications in L-convex spaces, The complete Heyting algebra of subsystems and contextuality, Continuous Domains and their Information System Representation as Logical Systems, Modal Languages for Coalgebras in a Topological Setting, A Case Study in Abstract Interpretation Based Program Transformation, Model-Checking View-Based Partial Specifications, Stably Compact Spaces and Closed Relations, Unique Fixed Points in Domain Theory, Distance and Measurement in Domain Theory, Presenting Dcpos and Dcpo Algebras, A Technique for Verifying Measurements, A Functional Algorithm for Exact Real Integration with Invariant Measures, Towards Computability over Effectively Enumerable Topological Spaces, Sequential Real Number Computation and Recursive Relations, Uniform Completion versus Ideal Completion of Posets with Projections, The space of maximal elements in a compact domain, A Programming Language for the Interval Geometric Machine, Quantales, finite observations and strong bisimulation, Fusion of recursive programs with computational effects, Characterising FS domains by means of power domains, Quantale-valued generalizations of approach spaces and quantale-valued topological spaces, Essential and density topologies ons2-continuous posets, Extending set functors to generalised metric spaces, A term-graph clausal logic: completeness and incompleteness results ★, Non-interleaving Semantics with Causality for Nondeterministic Dataflow, A Domain-Theoretic Approach to Integration in Hausdorff Spaces, On the Non-sequential Nature of Domain Models of Real-number Computation, A Hofmann-Mislove theorem for Bitopological Spaces, Topological semigroups and their prequantale models
