The following pages link to Practical coinduction (Q5361147):
Displaying 15 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- (Q4580329) (← links)
- (Q4625694) (← links)
- (Q5089012) (← links)
- (Q5109521) (← links)
- (Q5216302) (← links)
- (Q5875422) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
