Fixed-point operations on ccc's. I (Q672122): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00010-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2051175345
@@ Property / OpenAlex ID: W2051175345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. I
@@ Property / cites work: Matrix and matricial iteration theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
@@ Property / cites work: SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical fixed point semantics
@@ Property / cites work: Categorical fixed point semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the least-fixed-point operator by dinaturality
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:672122