Pages that link to "Item:Q753944"
From MaRDI portal
The following pages link to Solving reflexive domain equations in a category of complete metric spaces (Q753944):
Displaying 50 items.
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Elements of generalized ultrametric domain theory (Q672055) (← links)
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- Four domains for concurrency (Q1179700) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Banach's fixed-point theorem as a base for data-type equations (Q1330915) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- Liminf convergence in \(\Omega\)-categories (Q1390934) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Trees and semantics (Q1391740) (← links)
- Continuity spaces: Reconciling domains and metric spaces (Q1391864) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Scott approach distance on metric spaces (Q1794283) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Yoneda completeness and flat completeness of ordered fuzzy sets (Q2398037) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- The formal ball model for -categories (Q3081322) (← links)
