The following pages link to (Q4580200):
Displaying 4 items.
- Diacritical companions (Q2133161) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
