The following pages link to (Q2980965):
Displaying 5 items.
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- An implicit function theorem for the stream calculus (Q6563062) (← links)
