Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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.1016/j.entcs.2008.05.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2074746292
@@ Property / OpenAlex ID: W2074746292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738111
@@ Property / cites work: Q4738111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754027
@@ Property / cites work: Q2754027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219052
@@ Property / cites work: Q4219052 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Affine functions and series with co-inductive real numbers
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q2743705
@@ Property / cites work: Q2743705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435459
@@ Property / cites work: Q4435459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790656
@@ Property / cites work: Q4790656 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling general recursion in type theory
@@ Property / cites work: Modelling general recursion in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A term calculus for (co-)recursive definitions on streamlike data structures
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222886
@@ Property / cites work: Q4222886 / rank @@
+Normal rank
@@ Property / cites work @@
+Productivity of Stream Definitions
@@ Property / cites work: Productivity of Stream Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435467
@@ Property / cites work: Q4435467 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4738115
@@ Property / cites work: Q4738115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945204
@@ Property / cites work: Q4945204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863898
@@ Property / cites work: Q2863898 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating general recursion
@@ Property / cites work: Terminating general recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing coinduction and corecursion in higher-order logic
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873661