Proofs, programs, processes (Q693063): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-011-9325-8
@@ Property / DOI: 10.1007/s00224-011-9325-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ 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.1007/s00224-011-9325-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2076405698
@@ Property / OpenAlex ID: W2076405698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524766
@@ Property / cites work: Q4524766 / rank @@
+Normal rank
@@ Property / cites work @@
+From coinductive proofs to exact real arithmetic: theory and applications
+Normal rank
@@ Property / cites work @@
+Affine functions and series with co-inductive 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 @@
+Q3075213
@@ Property / cites work: Q3075213 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+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 @@
+A certified, corecursive implementation of exact real numbers
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q4813225
@@ Property / cites work: Q4813225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863899
@@ Property / cites work: Q2863899 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive analysis, types and exact real numbers
+Normal rank
@@ Property / cites work @@
+Hybrid Functional Interpretations
@@ Property / cites work: Hybrid Functional Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of a sequential language for exact real-number computation
+Normal rank
@@ Property / cites work @@
+Coinductive Formal Reasoning in Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Exploring the Computational Content of the Infinite Pigeonhole Principle
+Normal rank
@@ Property / cites work @@
+Realizability interpretation of proofs in constructive analysis
+Normal rank
@@ Property / DOI @@
+.1007/S00224-011-9325-8
@@ Property / DOI: 10.1007/S00224-011-9325-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:693063