Pages that link to "Item:Q2873661"
From MaRDI portal
The following pages link to Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661):
Displaying 9 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Friends with Benefits (Q2988636) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- A Type-Theoretic Approach to Resolution (Q5743587) (← links)
