An abstract data type for real numbers (Q4571945): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-63165-8_170
+Normal rank
@@ Property / OpenAlex ID @@
+W1634395416
@@ Property / OpenAlex ID: W1634395416 / rank @@
+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 @@
+Integration in Real PCF
@@ Property / cites work: Integration in Real PCF / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262213
@@ Property / cites work: Q3262213 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A universality theorem for PCF with recursive types, parallel-or and ∃
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank