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):
Displayed 42 items.
- On the final sequence of a finitary set functor (Q557796) (← 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)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- Processes as terms: non-well-founded models for bisimulation (Q4279257) (← links)
- Pseudo-superstructures as nonstandard universes (Q4391432) (← links)
- (Q4499206) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)