Using Structural Recursion for Corecursion (Q3638255): Difference between revisions

@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / 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/978-3-642-02444-3_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1532383456
@@ Property / OpenAlex ID: W1532383456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484330
@@ Property / cites work: Q4484330 / 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 @@
+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 @@
+Inductive and Coinductive Components of Corecursive Functions in Coq
+Normal rank
@@ Property / cites work @@
+Q4435459
@@ Property / cites work: Q4435459 / 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 @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional differentiation of computer programs
@@ Property / cites work: Functional differentiation of computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+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 @@
+Mechanizing coinduction and corecursion in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3024884
@@ Property / cites work: Q3024884 / rank @@
+Normal rank