Pages that link to "Item:Q3956379"
From MaRDI portal
The following pages link to The Category-Theoretic Solution of Recursive Domain Equations (Q3956379):
Displaying 50 items.
- Monads for behaviour (Q265824) (← links)
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras (Q283772) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- On Kan-injectivity of locales and spaces (Q513908) (← links)
- Approximation in quantale-enriched categories (Q536049) (← 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)
- On the greatest fixed point of a set functor (Q672316) (← links)
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Communicating processes with value-passing and assignments (Q688827) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Solving reflexive domain equations in a category of complete metric spaces (Q753944) (← links)
- Functorial polymorphism (Q753948) (← links)
- Notions of computation and monads (Q757075) (← links)
- Non-well-founded sets modeled as ideal fixed points (Q757360) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Codatatypes in ML (Q908682) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- Non-deterministic information systems and their domains (Q914401) (← links)
- Domain interpretations of Martin-Löf's partial type theory (Q916656) (← links)
- An irregular filter model (Q930872) (← links)
- On minimal coalgebras (Q934670) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Universal profinite domains (Q1093371) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- A safe approach to parallel combinator reduction (Q1095642) (← links)
- Recursively defined domains and their induction principles (Q1098615) (← links)
- Substitution revisited (Q1106190) (← links)
- On the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1114959) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1123253) (← 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)
- \(\mathbb{T}^\omega\) as a universal domain (Q1132085) (← links)
- Least fixed point of a functor (Q1134211) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Free upper regular bands (Q1158953) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- Recursive types for Fun (Q1176245) (← links)
