A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647): Difference between revisions

@@ 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.1016/j.entcs.2008.10.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2012644590
@@ Property / OpenAlex ID: W2012644590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3360172
@@ Property / cites work: Q3360172 / rank @@
+Normal rank
@@ Property / cites work @@
+Integration in Real PCF
@@ Property / cites work: Integration in Real PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive analysis, types and exact real numbers
+Normal rank
@@ Property / cites work @@
+Real number computability and domain theory
@@ Property / cites work: Real number computability and domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998063
@@ Property / cites work: Q3998063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of the real numbers and of the open subsets of the set of real numbers
+Normal rank
@@ Property / cites work @@
+Q4218119
@@ Property / cites work: Q4218119 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank