The category-theoretic solution of recursive metric-space equations (Q604478): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.07.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2030299533
@@ Property / OpenAlex ID: W2030299533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999188
@@ Property / cites work: Q3999188 / rank @@
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222746
@@ Property / cites work: Q4222746 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixed-point theorem in a category of compact metric spaces
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+The connection between initial and unique solutions of domain equations in the partial order and metric approach
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+A relational modal logic for higher-order stateful ADTs
+Normal rank
@@ Property / cites work @@
+Local Reasoning for Storable Locks and Threads
@@ Property / cites work: Local Reasoning for Storable Locks and Threads / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of generalized ultrametric domain theory
@@ Property / cites work: Elements of generalized ultrametric domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Hoare Triples and Frame Rules for Higher-Order Store
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Semi-metrics, closure spaces and digital topology
@@ Property / cites work: Semi-metrics, closure spaces and digital topology / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:604478