From Coinductive Proofs to Exact Real Arithmetic (Q3644745): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04027-6_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2108845204
@@ Property / OpenAlex ID: W2108845204 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of a sequential language for exact real-number computation
+Normal rank
@@ Property / cites work @@
+Constructive analysis, types and exact real numbers
+Normal rank
@@ Property / cites work @@
+Q4813225
@@ Property / cites work: Q4813225 / rank @@
+Normal rank
@@ Property / cites work @@
+A certified, corecursive implementation of exact real numbers
+Normal rank
@@ Property / cites work @@
+Affine functions and series with co-inductive real numbers
+Normal rank
@@ Property / cites work @@
+Coinduction for exact real number computation
@@ Property / cites work: Coinduction for exact real number computation / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Formal Reasoning in Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Realizability interpretation of proofs in constructive analysis
+Normal rank
@@ Property / cites work @@
+Q5718567
@@ Property / cites work: Q5718567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863899
@@ Property / cites work: Q2863899 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Recursive coalgebras from comonads
@@ Property / cites work: Recursive coalgebras from comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Real functions incrementally computable by finite automata
+Normal rank
@@ Property / cites work @@
+Efficient exact computation of iterated maps
@@ Property / cites work: Efficient exact computation of iterated maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524766
@@ Property / cites work: Q4524766 / rank @@
+Normal rank
@@ Property / cites work @@
+A Functional Algorithm for Exact Real Integration with Invariant Measures
+Normal rank