Q5875422 (Q5875422): Difference between revisions

@@ Property / cites work @@
+Well-founded recursion with copatterns and sized types
+Normal rank
@@ Property / cites work @@
+Q5109521
@@ Property / cites work: Q5109521 / rank @@
+Normal rank
@@ Property / cites work @@
+Hammer for Coq: automation for dependent type theory
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+An introduction to (co)algebra and (co)induction
@@ Property / cites work: An introduction to (co)algebra and (co)induction / rank @@
+Normal rank
@@ Property / cites work @@
+Practical coinduction
@@ Property / cites work: Practical coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875422
@@ Property / cites work: Q5875422 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank