I-categories as a framework for solving domain equations (Q685401): Difference between revisions

@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282568
@@ Property / cites work: Q4282568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal profinite domains
@@ Property / cites work: Universal profinite domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721231
@@ Property / cites work: Q5721231 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous information systems
@@ Property / cites work: Continuous information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326830
@@ Property / cites work: Q3326830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank