The following pages link to (Q4600775):
Displaying 7 items.
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- (Q2957694) (← links)
- (Q4554399) (← links)
- (Q5109521) (← links)
- (Q5216302) (← links)
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (Q6541152) (← links)