The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2007.02.008
@@ Property / DOI: 10.1016/j.entcs.2007.02.008 / rank @@
-Normal rank
@@ Property / author @@
-Q198855
@@ Property / author: Q198855 / rank @@
-Normal rank
@@ Property / author @@
+Marcelo P. Fiore
@@ Property / author: Marcelo P. Fiore / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.02.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2036542851
@@ Property / OpenAlex ID: W2036542851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325069
@@ Property / cites work: Q3325069 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical generalization of Scott domains
@@ Property / cites work: A categorical generalization of Scott domains / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362910
@@ Property / cites work: Q4362910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936144
@@ Property / cites work: Q4936144 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762220
@@ Property / cites work: Q2762220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853124
@@ Property / cites work: Q3853124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Cauchy characterization of enriched categories
@@ Property / cites work: Cauchy characterization of enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+On categories generalizing universal domains
@@ Property / cites work: On categories generalizing universal domains / rank @@
+Normal rank
@@ Property / cites work @@
+Topical categories of domains
@@ Property / cites work: Topical categories of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank
@@ Property / cites work @@
+Q3708172
@@ Property / cites work: Q3708172 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2007.02.008
@@ Property / DOI: 10.1016/J.ENTCS.2007.02.008 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2864151