Final Dialgebras: From Categories to Allegories (Q4943551): Difference between revisions

@@ Property / author @@
-Roland C. Backhouse
@@ Property / author: Roland C. Backhouse / rank @@
-Normal rank
@@ Property / author @@
+Roland C. Backhouse
@@ Property / author: Roland C. Backhouse / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Polyp
@@ Property / describes a project that uses: Polyp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2101475163
@@ Property / OpenAlex ID: W2101475163 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Generic functional programming with types and relations
+Normal rank
@@ Property / cites work @@
+Q4885873
@@ Property / cites work: Q4885873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882541
@@ Property / cites work: Q4882541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838013
@@ Property / cites work: Q3838013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362972
@@ Property / cites work: Q4362972 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for shape
@@ Property / cites work: A semantics for shape / 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 @@
+Subequalizers
@@ Property / cites work: Subequalizers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional programming languages and computer architecture. 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991. Proceedings
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4943551