Program extraction in exact real arithmetic (Q5740678): Difference between revisions

@@ Property / cites work @@
+Computing with infinite objects
@@ Property / cites work: Computing with infinite objects / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of the segment points transformation
@@ Property / cites work: Theory of the segment points transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs, Programs, Processes
@@ Property / cites work: Proofs, Programs, Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability interpretation of proofs in constructive analysis
+Normal rank
@@ Property / cites work @@
+A certified, corecursive implementation of exact real numbers
+Normal rank
@@ Property / cites work @@
+From Coinductive Proofs to Exact Real Arithmetic
@@ Property / cites work: From Coinductive Proofs to Exact Real Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Term rewriting for normalization by evaluation.
@@ Property / cites work: Term rewriting for normalization by evaluation. / rank @@
+Normal rank