Categorical fixed point calculus (Q5057473): Difference between revisions

@@ Property / author @@
+Roland C. Backhouse
@@ Property / author: Roland C. Backhouse / rank @@
+Normal rank
@@ 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.1007/3-540-60164-3_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1859242033
@@ Property / OpenAlex ID: W1859242033 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculate categorically!
@@ Property / cites work: Calculate categorically! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474856
@@ Property / cites work: Q4474856 / 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 @@
+Least fixpoints of endofunctors of cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank