The following pages link to (Q4256307):
Displaying 8 items.
- A general account of coinduction up-to (Q523132) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Generalised Coinduction (Q4917033) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
