On coalgebra of real numbers (Q4256314): Difference between revisions

@@ Property / author @@
-Vaughan R. Pratt
@@ Property / author: Vaughan R. Pratt / rank @@
-Normal rank
@@ Property / author @@
+Vaughan R. Pratt
@@ Property / author: Vaughan R. Pratt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+An extended arithmetic
@@ Property / cites work: An extended arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized arithmetic
@@ Property / cites work: Generalized arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222886
@@ Property / cites work: Q4222886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5800864
@@ Property / cites work: Q5800864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739404
@@ Property / cites work: Q3739404 / rank @@
+Normal rank
@@ Property / cites work @@
+Subequalizers
@@ Property / cites work: Subequalizers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222953
@@ Property / cites work: Q4222953 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353856
@@ Property / cites work: Q4353856 / rank @@
+Normal rank